Skip to content

Merge branch 'release-1.4.0' into develop. Close #145. #41

Merge branch 'release-1.4.0' into develop. Close #145.

Merge branch 'release-1.4.0' into develop. Close #145. #41

Triggered via push May 22, 2024 15:37
Status Success
Total duration 7m 12s
Artifacts
Matrix: cabal
Fit to window
Zoom out
Zoom in