Skip to content

Revert "dates: refresh type system & traits date annotations to Aug/2025" #5445

Revert "dates: refresh type system & traits date annotations to Aug/2025"

Revert "dates: refresh type system & traits date annotations to Aug/2025" #5445

Triggered via pull request September 1, 2025 09:11
Status Success
Total duration 12s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in