Add Alpine CI #686
Triggered via pull request
December 24, 2023 22:41
Status
Cancelled
Total duration
1m 0s
Artifacts
–
Annotations
5 errors
build (8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)
Canceling since a higher priority waiting request for 'CI (Coq)-8.18.0-ci-alpine' exists
|
build (8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)
The operation was canceled.
|
build (8.17.1, coq-8.17.1 libcoq-8.17.1-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)
Canceling since a higher priority waiting request for 'CI (Coq)-8.17.1-ci-alpine' exists
|
build (8.17.1, coq-8.17.1 libcoq-8.17.1-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)
The operation was canceled.
|
check-all
Process completed with exit code 1.
|