Adapt to coq/coq#17836 (sort poly) #573
Triggered via pull request
September 22, 2023 12:41
SkySkimmer
Status
Failure
Total duration
2m 26s
Artifacts
–
Annotations
7 errors
|
|
|
build (ubuntu-latest, 8.15.2, coq-8.15.2 libcoq-8.15.2-ocaml-dev, ppa:jgross-h/many-coq-versions-...
Process completed with exit code 2.
|
|
build (ubuntu-latest, 8.17.1, coq-8.17.1 libcoq-8.17.1-ocaml-dev, ppa:jgross-h/many-coq-versions-...:
src/Rewriter/Util/Tactics2/DestProj.v#L9
Constructor Proj expects 2 arguments, but is applied to 3 arguments
|
|
build (ubuntu-latest, 8.17.1, coq-8.17.1 libcoq-8.17.1-ocaml-dev, ppa:jgross-h/many-coq-versions-...
Process completed with exit code 2.
|
|
|
|
build (v8.15, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.15-daily, ubuntu-20.04)
Process completed with exit code 2.
|
|
check-all
Process completed with exit code 1.
|