Skip to content

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

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

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

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