Skip to content

Merge pull request #12 from whirlicote/minimal-testcases #17

Merge pull request #12 from whirlicote/minimal-testcases

Merge pull request #12 from whirlicote/minimal-testcases #17

Triggered via push December 30, 2025 10:09
Status Success
Total duration 7s
Artifacts
Mirror main branch to master branch
3s
Mirror main branch to master branch
Fit to window
Zoom out
Zoom in