Skip to content

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

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

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

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