Deprecating --solver=modular CLI argument
#7587
Triggered via pull request
November 14, 2023 08:52
yvan-sraka
Status
Cancelled
Total duration
1m 10s
Artifacts
–
quick-jobs.yml
on: pull_request
Meta checks
42s
Doctest Cabal
42s
Annotations
4 errors
|
Doctest Cabal
Canceling since a higher priority waiting request for 'refs/pull/9206/merge-Quick jobs' exists
|
|
Doctest Cabal
The operation was canceled.
|
|
Meta checks
Canceling since a higher priority waiting request for 'refs/pull/9206/merge-Quick jobs' exists
|
|
Meta checks
The operation was canceled.
|