Skip to content

Merge branch 'develop-ci' into develop. Close #139. #15

Merge branch 'develop-ci' into develop. Close #139.

Merge branch 'develop-ci' into develop. Close #139. #15

Triggered via push May 20, 2024 11:55
Status Success
Total duration 7m 3s
Artifacts
Matrix: cabal
Fit to window
Zoom out
Zoom in