cabal check: add --ignore option
#7675
Triggered via pull request
November 21, 2023 21:11
ffaf1
Status
Cancelled
Total duration
4m 54s
Artifacts
–
quick-jobs.yml
on: pull_request
Meta checks
4m 41s
Doctest Cabal
4m 38s
Annotations
4 errors
|
Doctest Cabal
Canceling since a higher priority waiting request for 'refs/pull/9442/merge-Quick jobs' exists
|
|
Doctest Cabal
The operation was canceled.
|
|
Meta checks
Canceling since a higher priority waiting request for 'refs/pull/9442/merge-Quick jobs' exists
|
|
Meta checks
The operation was canceled.
|