Skip to content

minor cleanup

minor cleanup #100

Triggered via push February 5, 2025 15:33
Status Success
Total duration 33s
Artifacts
typecheck-scripts
22s
typecheck-scripts
Fit to window
Zoom out
Zoom in