Skip to content

Merge branch 'release-1.4.1' into develop. Close #155. #41

Merge branch 'release-1.4.1' into develop. Close #155.

Merge branch 'release-1.4.1' into develop. Close #155. #41

Triggered via push September 22, 2024 14:13
Status Success
Total duration 13m 10s
Artifacts
Matrix: cabal
Fit to window
Zoom out
Zoom in