Skip to content

Merge pull request #540 from theosanderson/cleanup-ci #894

Merge pull request #540 from theosanderson/cleanup-ci

Merge pull request #540 from theosanderson/cleanup-ci #894

Triggered via push October 11, 2023 16:21
Status Success
Total duration 26s
Artifacts
pre-commit
17s
pre-commit
Fit to window
Zoom out
Zoom in