Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix coq-elpi.dev #3220

Merged
merged 1 commit into from
Dec 1, 2024

fix coq-elpi.dev

69f9d9e
Select commit
Loading
Failed to load commit list.
Merged

fix coq-elpi.dev #3220

fix coq-elpi.dev
69f9d9e
Select commit
Loading
Failed to load commit list.
coqbot-app / GitLab CI job opam-build:any (branch) failed Dec 1, 2024 in 0s

Test has failed on GitLab CI

This job has failed. If you need to, you can restart it directly in the GitHub interface using the "Re-run" button.

We show below the last 40 lines of the trace from GitLab (the complete trace is available here).

Details

  - install dune-configurator       3.17.0          [required by base]
  - install biniou                  1.2.2           [required by atdgen]
  - install coqide-server           8.20.0          [required by coq]
  - install coq-stdlib              8.20.0          [required by coq]
  - install ppx_deriving            6.0.3           [required by elpi]
  - install atd                     2.15.0          [required by atdgen, atdts]
  - install base                    v0.17.1         [required by ppx_optcomp]
  - install atdgen-runtime          2.15.0          [required by atdgen]
  - install coq                     8.20.0          [required by coq-mathcomp-ssreflect]
  - install atdts                   2.15.0          [required by elpi]
  - install stdio                   v0.17.0         [required by ppx_optcomp]
  - install atdgen                  2.15.0          [required by elpi]
  - install ppx_optcomp             v0.17.0         [required by coq-elpi]
  - install elpi                    1.19.6          [required by coq-mathcomp-ssreflect]
  - install coq-elpi                2.2.3           [required by coq-hierarchy-builder]
  - install coq-hierarchy-builder   1.7.0           [required by coq-mathcomp-ssreflect]
  - install coq-mathcomp-ssreflect  2.3.0
===== 47 to install | 3 to upgrade =====
Installing coq-mathcomp-ssreflect.2.3.0
[WARNING] Running as root is not recommended
[NOTE] While removing ocaml-base-compiler.4.09.0: not removing non-empty directories:
         - lib/ocaml/threads
         - lib/ocaml/stublibs
         - lib/ocaml/ocamldoc
         - lib/ocaml/compiler-libs
         - lib/ocaml/caml

[NOTE] Switch invariant was updated to ["ocaml-base-compiler" {= "5.2.1"} | "ocaml-system" {= "4.09.0"}]
       Use `opam switch set-invariant' to change it.
Removing coq-mathcomp-ssreflect
[WARNING] Running as root is not recommended
Packages that failed to install: coq-elpi.dev
Packages that succeeded to install: coq-infotheo.0.7.5 coq-mathcomp-algebra.2.3.0 coq-mathcomp-character.2.3.0 coq-mathcomp-field.2.3.0 coq-mathcomp-fingroup.2.3.0 coq-mathcomp-solvable.2.3.0 coq-mathcomp-ssreflect.2.3.0
Uploading artifacts for failed job
Uploading artifacts...
log/: found 9 matching artifact files and directories 
Uploading artifacts as "archive" to coordinator... 201 Created  id=5017907 responseStatus=201 Created token=glcbt-64
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1
View more details on coqbot-app