Skip to content

Merge pull request #858 from altheaden/tweak-ci #1347

Merge pull request #858 from altheaden/tweak-ci

Merge pull request #858 from altheaden/tweak-ci #1347

Triggered via push September 11, 2024 17:25
Status Success
Total duration 17s
Artifacts
lint with pre-commit
4s
lint with pre-commit
Matrix: build
Fit to window
Zoom out
Zoom in