Skip to content

Merge pull request #10 from StephanU/dev #27

Merge pull request #10 from StephanU/dev

Merge pull request #10 from StephanU/dev #27

Triggered via push March 16, 2025 13:25
Status Success
Total duration 23s
Artifacts
Pre-commit
15s
Pre-commit
Matrix: build
Fit to window
Zoom out
Zoom in