Skip to content

Merge branch 'develop-copilot-3.19' into develop. Close #231. #134

Merge branch 'develop-copilot-3.19' into develop. Close #231.

Merge branch 'develop-copilot-3.19' into develop. Close #231. #134

Triggered via push February 3, 2025 17:24
Status Success
Total duration 15m 16s
Artifacts
Matrix: cabal
Fit to window
Zoom out
Zoom in