Skip to content
CI

Explicitly group coqlib as having an argument even if help fails #2216

Sign in to view logs

Explicitly group coqlib as having an argument even if help fails

Explicitly group coqlib as having an argument even if help fails #2216

Triggered via push January 25, 2025 00:11
@JasonGrossJasonGross
pushed 61dc542
master
Status Failure
Total duration 1h 39m 15s
Artifacts –

ci.yml

on: push
Matrix: build
Matrix: docker-build
check-all
0s
check-all
Fit to window
Zoom out
Zoom in

Annotations

55 errors and 55 warnings
build (3.6, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.6, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.7, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.8, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
check-all
Process completed with exit code 1.
docker-build (8.10, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.10, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.10, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.11, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.11, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.11, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.12, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.12, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.12, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.13, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.13, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.13, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.14, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.14, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.14, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.15, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.15, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.15, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.16, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.16, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.17, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.17, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.16, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.17, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.18, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.18, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.19, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.18, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.19, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.19, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.20, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.4, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.4, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.4, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.5, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.5, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.20, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.6, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.5, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.20, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.6, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.6, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.7, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.7, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.7, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.8, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.8, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.8, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.9, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.9, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (8.9, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (dev, default, installed)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (dev, default, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker-build (dev, default, standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
check-all
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636