Skip to content

clarify "configure" messages from Cabal #7738

clarify "configure" messages from Cabal

clarify "configure" messages from Cabal #7738

Triggered via pull request November 24, 2023 19:02
Status Cancelled
Total duration 51s
Artifacts

quick-jobs.yml

on: pull_request
Meta checks
36s
Doctest Cabal
36s

Annotations

4 errors
Doctest Cabal
Canceling since a higher priority waiting request for 'refs/pull/9476/merge-Quick jobs' exists
Doctest Cabal
The operation was canceled.
Meta checks
Canceling since a higher priority waiting request for 'refs/pull/9476/merge-Quick jobs' exists
Meta checks
The operation was canceled.