Adapt to https://github.com/coq/coq/pull/19530 #713
Triggered via pull request
September 17, 2024 10:04
proux01
Status
Failure
Total duration
5m 47s
Artifacts
–
coq.yml
on: pull_request
Matrix: build
coq-check-all
0s
Annotations
3 errors
|
build (master, coq libcoq-core-ocaml-dev, ppa:jgross-h/coq-master-daily)
Process completed with exit code 2.
|
|
build (8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)
Process completed with exit code 2.
|
|
coq-check-all
Process completed with exit code 1.
|