Skip to content

Rename confusing github action file (#23) #3

Rename confusing github action file (#23)

Rename confusing github action file (#23) #3

Triggered via push March 2, 2024 18:41
Status Success
Total duration 54s
Artifacts
lint-and-typecheck
47s
lint-and-typecheck
Fit to window
Zoom out
Zoom in