Skip to content

Merge branch 'release-1.5.0' into develop. Close #178. #71

Merge branch 'release-1.5.0' into develop. Close #178.

Merge branch 'release-1.5.0' into develop. Close #178. #71

Triggered via push November 22, 2024 23:46
Status Success
Total duration 13m 40s
Artifacts
Matrix: cabal
Fit to window
Zoom out
Zoom in