Skip to content

Merge pull request #9123 from andreabedini/andrea/remove-cabal-file #1

Merge pull request #9123 from andreabedini/andrea/remove-cabal-file

Merge pull request #9123 from andreabedini/andrea/remove-cabal-file #1

Triggered via push December 9, 2023 13:29
Status Success
Total duration 9s
Artifacts
Bootstrap post job
0s
Bootstrap post job
Fit to window
Zoom out
Zoom in