Skip to content

Merge branch 'develop-update-docs' into develop. Close #220. #134

Merge branch 'develop-update-docs' into develop. Close #220.

Merge branch 'develop-update-docs' into develop. Close #220. #134

Triggered via push January 28, 2025 14:24
Status Success
Total duration 8m 16s
Artifacts
Matrix: cabal
Fit to window
Zoom out
Zoom in