Skip to content

Merge branch 'develop-remove-split' into develop. Close #240. #150

Merge branch 'develop-remove-split' into develop. Close #240.

Merge branch 'develop-remove-split' into develop. Close #240. #150

Triggered via push February 5, 2025 00:56
Status Success
Total duration 15m 49s
Artifacts
Matrix: cabal
Fit to window
Zoom out
Zoom in