Add setup.py / pip packaging #1511
Triggered via pull request
October 19, 2023 23:42
JasonGross
Status
Cancelled
Total duration
47m 32s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
Matrix: build
Matrix: docker-build
check-all
4s
Annotations
263 errors and 170 warnings
|
docker-build (8.10, default, local)
The command has not failed!
|
|
docker-build (8.10, default, local)
The command has not failed!
|
|
docker-build (8.10, default, local)
The command has not failed!
|
|
docker-build (8.10, default, local)
The command has not failed!
|
|
docker-build (8.10, default, local)
The command has not failed!
|
|
docker-build (8.10, default, local)
The command has not failed!
|
|
docker-build (8.10, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.10, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.10, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.10, default, local)
The reference A was not found in the current environment.
|
|
docker-build (8.13, default, installed)
The command has not failed!
|
|
docker-build (8.13, default, installed)
The command has not failed!
|
|
docker-build (8.13, default, installed)
The command has not failed!
|
|
docker-build (8.13, default, installed)
The command has not failed!
|
|
docker-build (8.13, default, installed)
The command has not failed!
|
|
docker-build (8.13, default, installed)
The command has not failed!
|
|
docker-build (8.13, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.13, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.13, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.13, default, installed)
The reference A was not found in the current environment.
|
|
docker-build (8.11, default, installed)
The command has not failed!
|
|
docker-build (8.11, default, installed)
The command has not failed!
|
|
docker-build (8.11, default, installed)
The command has not failed!
|
|
docker-build (8.11, default, installed)
The command has not failed!
|
|
docker-build (8.11, default, installed)
The command has not failed!
|
|
docker-build (8.11, default, installed)
The command has not failed!
|
|
docker-build (8.11, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.11, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.11, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.11, default, installed)
The reference A was not found in the current environment.
|
|
docker-build (8.11, default, local)
The command has not failed!
|
|
docker-build (8.11, default, local)
The command has not failed!
|
|
docker-build (8.11, default, local)
The command has not failed!
|
|
docker-build (8.11, default, local)
The command has not failed!
|
|
docker-build (8.11, default, local)
The command has not failed!
|
|
docker-build (8.11, default, local)
The command has not failed!
|
|
docker-build (8.11, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.11, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.11, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.11, default, local)
The reference A was not found in the current environment.
|
|
docker-build (8.13, default, local)
The command has not failed!
|
|
docker-build (8.13, default, local)
The command has not failed!
|
|
docker-build (8.13, default, local)
The command has not failed!
|
|
docker-build (8.13, default, local)
The command has not failed!
|
|
docker-build (8.13, default, local)
The command has not failed!
|
|
docker-build (8.13, default, local)
The command has not failed!
|
|
docker-build (8.13, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.13, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.13, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.13, default, local)
The reference A was not found in the current environment.
|
|
docker-build (8.14, default, local)
The command has not failed!
|
|
docker-build (8.14, default, local)
The command has not failed!
|
|
docker-build (8.14, default, local)
The command has not failed!
|
|
docker-build (8.14, default, local)
The command has not failed!
|
|
docker-build (8.14, default, local)
The command has not failed!
|
|
docker-build (8.14, default, local)
The command has not failed!
|
|
docker-build (8.14, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.14, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.14, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.14, default, local)
The reference A was not found in the current environment.
|
|
docker-build (8.10, default, installed)
The command has not failed!
|
|
docker-build (8.10, default, installed)
The command has not failed!
|
|
docker-build (8.10, default, installed)
The command has not failed!
|
|
docker-build (8.10, default, installed)
The command has not failed!
|
|
docker-build (8.10, default, installed)
The command has not failed!
|
|
docker-build (8.10, default, installed)
The command has not failed!
|
|
docker-build (8.10, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.10, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.10, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.10, default, installed)
The reference A was not found in the current environment.
|
|
docker-build (8.12, default, installed)
The command has not failed!
|
|
docker-build (8.12, default, installed)
The command has not failed!
|
|
docker-build (8.12, default, installed)
The command has not failed!
|
|
docker-build (8.12, default, installed)
The command has not failed!
|
|
docker-build (8.12, default, installed)
The command has not failed!
|
|
docker-build (8.12, default, installed)
The command has not failed!
|
|
docker-build (8.12, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.12, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.12, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.12, default, installed)
The reference A was not found in the current environment.
|
|
docker-build (8.14, default, installed)
The command has not failed!
|
|
docker-build (8.14, default, installed)
The command has not failed!
|
|
docker-build (8.14, default, installed)
The command has not failed!
|
|
docker-build (8.14, default, installed)
The command has not failed!
|
|
docker-build (8.14, default, installed)
The command has not failed!
|
|
docker-build (8.14, default, installed)
The command has not failed!
|
|
docker-build (8.14, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.14, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.14, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.14, default, installed)
The reference A was not found in the current environment.
|
|
docker-build (8.15, default, local)
The command has not failed!
|
|
docker-build (8.15, default, local)
The command has not failed!
|
|
docker-build (8.15, default, local)
The command has not failed!
|
|
docker-build (8.15, default, local)
The command has not failed!
|
|
docker-build (8.15, default, local)
The command has not failed!
|
|
docker-build (8.15, default, local)
The command has not failed!
|
|
docker-build (8.15, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.15, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.15, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.15, default, local)
The reference A was not found in the current environment.
|
|
docker-build (8.12, default, local)
The command has not failed!
|
|
docker-build (8.12, default, local)
The command has not failed!
|
|
docker-build (8.12, default, local)
The command has not failed!
|
|
docker-build (8.12, default, local)
The command has not failed!
|
|
docker-build (8.12, default, local)
The command has not failed!
|
|
docker-build (8.12, default, local)
The command has not failed!
|
|
docker-build (8.12, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.12, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.12, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.12, default, local)
The reference A was not found in the current environment.
|
|
docker-build (8.16, default, local)
The command has not failed!
|
|
docker-build (8.16, default, local)
The command has not failed!
|
|
docker-build (8.16, default, local)
The command has not failed!
|
|
docker-build (8.16, default, local)
The command has not failed!
|
|
docker-build (8.16, default, local)
The command has not failed!
|
|
docker-build (8.16, default, local)
The command has not failed!
|
|
docker-build (8.16, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.16, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.16, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.16, default, local)
The reference A was not found in the current environment.
|
|
docker-build (8.15, default, installed)
The command has not failed!
|
|
docker-build (8.15, default, installed)
The command has not failed!
|
|
docker-build (8.15, default, installed)
The command has not failed!
|
|
docker-build (8.15, default, installed)
The command has not failed!
|
|
docker-build (8.15, default, installed)
The command has not failed!
|
|
docker-build (8.15, default, installed)
The command has not failed!
|
|
docker-build (8.15, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.15, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.15, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.15, default, installed)
The reference A was not found in the current environment.
|
|
docker-build (8.17, default, local)
The command has not failed!
|
|
docker-build (8.17, default, local)
The command has not failed!
|
|
docker-build (8.17, default, local)
The command has not failed!
|
|
docker-build (8.17, default, local)
The command has not failed!
|
|
docker-build (8.17, default, local)
The command has not failed!
|
|
docker-build (8.17, default, local)
The command has not failed!
|
|
docker-build (8.17, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.17, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.17, default, local)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.17, default, local)
The reference A was not found in the current environment.
|
|
docker-build (8.16, default, installed)
The command has not failed!
|
|
docker-build (8.16, default, installed)
The command has not failed!
|
|
docker-build (8.16, default, installed)
The command has not failed!
|
|
docker-build (8.16, default, installed)
The command has not failed!
|
|
docker-build (8.16, default, installed)
The command has not failed!
|
|
docker-build (8.16, default, installed)
The command has not failed!
|
|
docker-build (8.16, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.16, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.16, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.16, default, installed)
The reference A was not found in the current environment.
|
|
docker-build (8.18, default, installed)
The command has not failed!
|
|
docker-build (8.18, default, installed)
The command has not failed!
|
|
docker-build (8.18, default, installed)
The command has not failed!
|
|
docker-build (8.18, default, installed)
The command has not failed!
|
|
docker-build (8.18, default, installed)
The command has not failed!
|
|
docker-build (8.18, default, installed)
The command has not failed!
|
|
docker-build (8.18, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.18, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.18, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.18, default, installed)
The reference A was not found in the current environment.
|
|
docker-build (8.17, default, installed)
The command has not failed!
|
|
docker-build (8.17, default, installed)
The command has not failed!
|
|
docker-build (8.17, default, installed)
The command has not failed!
|
|
docker-build (8.17, default, installed)
The command has not failed!
|
|
docker-build (8.17, default, installed)
The command has not failed!
|
|
docker-build (8.17, default, installed)
The command has not failed!
|
|
docker-build (8.17, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.17, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.17, default, installed)
Unable to unify "Type" with "Prop".
|
|
docker-build (8.17, default, installed)
The reference A was not found in the current environment.
|
|
build (3.11, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.12.2-3.11-local-pip' exists
|
|
build (3.11, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.13.2-3.11-local-pip' exists
|
|
build (3.11, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.15.0-3.11-local-pip' exists
|
|
build (3.11, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.14.1-3.11-local-pip' exists
|
|
build (3.5, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.10.2-3.5-installed-pip' exists
|
|
build (3.5, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.14.1-3.5-installed-pip' exists
|
|
build (3.5, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.11.2-3.5-installed-pip' exists
|
|
build (3.5, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.12.2-3.5-installed-pip' exists
|
|
build (3.5, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.15.0-3.5-installed-pip' exists
|
|
build (3.5, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.10.2-3.5-local-pip' exists
|
|
build (3.5, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.13.2-3.5-local-pip' exists
|
|
build (3.5, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.13.2-3.5-installed-pip' exists
|
|
build (3.5, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.11.2-3.5-local-pip' exists
|
|
build (3.5, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.12.2-3.5-local-pip' exists
|
|
build (3.5, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.14.1-3.5-local-pip' exists
|
|
build (3.5, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.15.0-3.5-local-pip' exists
|
|
build (3.6, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.12.2-3.6-installed-pip' exists
|
|
build (3.6, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.13.2-3.6-installed-pip' exists
|
|
build (3.6, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.11.2-3.6-installed-pip' exists
|
|
build (3.6, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.13.2-3.6-local-pip' exists
|
|
build (3.7, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.11.2-3.7-installed-pip' exists
|
|
build (3.7, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.12.2-3.7-local-pip' exists
|
|
build (3.8, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.11.2-3.8-installed-pip' exists
|
|
build (3.8, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.10.2-3.8-installed-pip' exists
|
|
build (3.8, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.13.2-3.8-installed-pip' exists
|
|
build (3.8, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.14.1-3.8-installed-pip' exists
|
|
build (3.6, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.10.2-3.6-installed-pip' exists
|
|
build (3.8, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.12.2-3.8-installed-pip' exists
|
|
build (3.8, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.15.0-3.8-installed-pip' exists
|
|
build (3.8, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.10.2-3.8-local-pip' exists
|
|
build (3.8, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.11.2-3.8-local-pip' exists
|
|
build (3.8, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.12.2-3.8-local-pip' exists
|
|
build (3.8, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.13.2-3.8-local-pip' exists
|
|
build (3.8, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.14.1-3.8-local-pip' exists
|
|
build (3.8, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.15.0-3.8-local-pip' exists
|
|
build (3.7, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.15.0-3.7-local-pip' exists
|
|
build (3.7, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.11.2-3.7-local-pip' exists
|
|
build (3.7, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.13.2-3.7-installed-pip' exists
|
|
build (3.7, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.10.2-3.7-local-pip' exists
|
|
build (3.7, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.15.0-3.7-installed-pip' exists
|
|
build (3.7, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.14.1-3.7-local-pip' exists
|
|
build (3.6, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.15.0-3.6-installed-pip' exists
|
|
build (3.6, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.14.1-3.6-installed-pip' exists
|
|
build (3.7, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.12.2-3.7-installed-pip' exists
|
|
build (3.6, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.11.2-3.6-local-pip' exists
|
|
build (3.6, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.14.1-3.6-local-pip' exists
|
|
build (3.7, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.14.1-3.7-installed-pip' exists
|
|
build (3.6, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.10.2-3.6-local-pip' exists
|
|
build (3.6, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.12.2-3.6-local-pip' exists
|
|
build (3.7, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.10.2-3.7-installed-pip' exists
|
|
build (3.7, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.13.2-3.7-local-pip' exists
|
|
build (3.6, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.15.0-3.6-local-pip' exists
|
|
docker-build (8.5, default, installed)
Canceling since a higher priority waiting request for 'CI-8.5-default-docker-installed-pip' exists
|
|
docker-build (8.5, default, installed)
The operation was canceled.
|
|
docker-build (8.6, default, local)
Canceling since a higher priority waiting request for 'CI-8.6-default-docker-local-pip' exists
|
|
docker-build (8.6, default, local)
The operation was canceled.
|
|
docker-build (8.7, default, installed)
Canceling since a higher priority waiting request for 'CI-8.7-default-docker-installed-pip' exists
|
|
docker-build (8.7, default, installed)
The operation was canceled.
|
|
docker-build (8.5, default, local)
Canceling since a higher priority waiting request for 'CI-8.5-default-docker-local-pip' exists
|
|
docker-build (8.5, default, local)
The operation was canceled.
|
|
docker-build (8.18, default, local)
Canceling since a higher priority waiting request for 'CI-8.18-default-docker-local-pip' exists
|
|
docker-build (8.18, default, local)
The operation was canceled.
|
|
docker-build (dev, default, local)
Canceling since a higher priority waiting request for 'CI-dev-default-docker-local-pip' exists
|
|
docker-build (dev, default, local)
The operation was canceled.
|
|
docker-build (8.4, default, installed)
Canceling since a higher priority waiting request for 'CI-8.4-default-docker-installed-pip' exists
|
|
docker-build (8.4, default, installed)
The operation was canceled.
|
|
docker-build (8.7, default, local)
Canceling since a higher priority waiting request for 'CI-8.7-default-docker-local-pip' exists
|
|
docker-build (8.7, default, local)
The operation was canceled.
|
|
build (3.11, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.11.2-3.11-local-pip' exists
|
|
build (3.11, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
|
|
docker-build (8.8, default, local)
Canceling since a higher priority waiting request for 'CI-8.8-default-docker-local-pip' exists
|
|
docker-build (8.8, default, local)
The operation was canceled.
|
|
docker-build (8.9, default, local)
Canceling since a higher priority waiting request for 'CI-8.9-default-docker-local-pip' exists
|
|
docker-build (8.9, default, local)
The operation was canceled.
|
|
docker-build (dev, default, installed)
Canceling since a higher priority waiting request for 'CI-dev-default-docker-installed-pip' exists
|
|
docker-build (dev, default, installed)
The operation was canceled.
|
|
docker-build (8.4, default, local)
Canceling since a higher priority waiting request for 'CI-8.4-default-docker-local-pip' exists
|
|
docker-build (8.4, default, local)
The operation was canceled.
|
|
docker-build (8.9, default, installed)
Canceling since a higher priority waiting request for 'CI-8.9-default-docker-installed-pip' exists
|
|
docker-build (8.9, default, installed)
The operation was canceled.
|
|
build (3.11, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.15.0-3.11-installed-pip' exists
|
|
build (3.11, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The operation was canceled.
|
|
build (3.11, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.14.1-3.11-installed-pip' exists
|
|
build (3.11, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The operation was canceled.
|
|
docker-build (8.8, default, installed)
Canceling since a higher priority waiting request for 'CI-8.8-default-docker-installed-pip' exists
|
|
docker-build (8.8, default, installed)
The operation was canceled.
|
|
build (3.11, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.10.2-3.11-local-pip' exists
|
|
build (3.11, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
|
|
docker-build (8.6, default, installed)
Canceling since a higher priority waiting request for 'CI-8.6-default-docker-installed-pip' exists
|
|
docker-build (8.6, default, installed)
The operation was canceled.
|
|
build (3.11, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Canceling since a higher priority waiting request for 'CI-8.13.2-3.11-installed-pip' exists
|
|
build (3.11, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
|
|
check-all
Process completed with exit code 1.
|
|
docker-build (8.10, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.10, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.10, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.10, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.10, default, local)
Let definition foo_obligation_1 declared as an axiom.
|
|
docker-build (8.10, default, local)
Let definition foo_obligation_1 declared as an axiom.
|
|
docker-build (8.10, default, local)
Let definition foo_obligation_1 declared as an axiom.
|
|
docker-build (8.10, default, local)
Let definition foo_obligation_1 declared as an axiom.
|
|
docker-build (8.10, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.10, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.13, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.13, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.13, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.13, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.13, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.13, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.13, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.13, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.13, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.13, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.11, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.11, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.11, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.11, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.11, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.11, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.11, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.11, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.11, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.11, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.11, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.11, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.11, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.11, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.11, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.11, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.11, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.11, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.11, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.11, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.13, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.13, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.13, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.13, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.13, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.13, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.13, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.13, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.13, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.13, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.14, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.14, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.14, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.14, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.14, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.14, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.14, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.14, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.14, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.14, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.10, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.10, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.10, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.10, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.10, default, installed)
Let definition foo_obligation_1 declared as an axiom.
|
|
docker-build (8.10, default, installed)
Let definition foo_obligation_1 declared as an axiom.
|
|
docker-build (8.10, default, installed)
Let definition foo_obligation_1 declared as an axiom.
|
|
docker-build (8.10, default, installed)
Let definition foo_obligation_1 declared as an axiom.
|
|
docker-build (8.10, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.10, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.12, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.12, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.12, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.12, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.12, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.12, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.12, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.12, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.12, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.12, default, installed)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.14, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.14, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.14, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.14, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.14, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.14, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.14, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.14, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.14, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.14, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.15, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.15, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.15, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.15, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.15, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.15, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.15, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.15, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.15, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.15, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.12, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.12, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.12, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.12, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.12, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.12, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.12, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.12, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.12, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.12, default, local)
Require inside a module is deprecated and strongly discouraged. You
|
|
docker-build (8.16, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.16, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.16, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.16, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.16, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.16, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.16, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.16, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.16, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.16, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.15, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.15, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.15, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.15, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.15, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.15, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.15, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.15, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.15, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.15, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.17, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.17, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.17, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.17, default, local)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.17, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.17, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.17, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.17, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.17, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.17, default, local)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.16, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.16, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.16, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.16, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.16, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.16, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.16, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.16, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.16, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.16, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.18, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.18, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.18, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.18, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.18, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.18, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.18, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.18, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.18, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.18, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.17, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.17, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.17, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.17, default, installed)
Trying to mask the absolute name "B.B"!
|
|
docker-build (8.17, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.17, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.17, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.17, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.17, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|
|
docker-build (8.17, default, installed)
Use of “Require” inside a module is fragile. It is not recommended
|