Skip to content

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

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

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

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