Skip to content

Merge branch 'develop-standalone' into develop. Close #170. #73

Merge branch 'develop-standalone' into develop. Close #170.

Merge branch 'develop-standalone' into develop. Close #170. #73

Triggered via push November 22, 2024 18:52
Status Success
Total duration 8m 25s
Artifacts
Matrix: cabal
Fit to window
Zoom out
Zoom in