Skip to content

Merge pull request #18 from matt-dray/misc #32

Merge pull request #18 from matt-dray/misc

Merge pull request #18 from matt-dray/misc #32

Triggered via push October 30, 2025 20:38
Status Success
Total duration 22s
Artifacts
ruff-check
11s
ruff-check
ruff-format-check
13s
ruff-format-check
ty-check
6s
ty-check
Fit to window
Zoom out
Zoom in