Skip to content

Merge pull request #10254 from alt-romes/wip/romes/cabal-shallow-mr #45

Merge pull request #10254 from alt-romes/wip/romes/cabal-shallow-mr

Merge pull request #10254 from alt-romes/wip/romes/cabal-shallow-mr #45

Triggered via push November 20, 2024 16:17
Status Success
Total duration 15s
Artifacts
Validate post job
0s
Validate post job
Fit to window
Zoom out
Zoom in