Skip to content

Merge branch 'develop-readme-update-instructions' into develop. Close… #320

Merge branch 'develop-readme-update-instructions' into develop. Close…

Merge branch 'develop-readme-update-instructions' into develop. Close… #320

Triggered via push February 8, 2026 17:16
Status Success
Total duration 12m 46s
Artifacts
Matrix: cabal
Fit to window
Zoom out
Zoom in