Skip to content

Merge branch 'develop-cli-base' into develop. Close #180. #84

Merge branch 'develop-cli-base' into develop. Close #180.

Merge branch 'develop-cli-base' into develop. Close #180. #84

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