Skip to content
Assorted

Remove --cabal-file option #1344

Sign in to view logs

Remove --cabal-file option

Remove --cabal-file option #1344

Triggered via pull request December 6, 2023 15:08
@andreabediniandreabedini
synchronize #9123
andreabedini:andrea/remove-cabal-file
Status Success
Total duration 6m 28s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

changelogs.yml

on: pull_request
Changelogs
6m 16s
Changelogs
Fit to window
Zoom out
Zoom in