Skip to content

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

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

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

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