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

Add ssreflect bound on deriving 0.2.0 package. #3225

Merged
merged 1 commit into from
Dec 2, 2024

Add ssreflect bound on deriving 0.2.0 package.

c3d7fb6
Select commit
Loading
Failed to load commit list.
Merged

Add ssreflect bound on deriving 0.2.0 package. #3225

Add ssreflect bound on deriving 0.2.0 package.
c3d7fb6
Select commit
Loading
Failed to load commit list.
coqbot-app / GitLab CI job opam-build:4.14.0 (pull request) failed Dec 3, 2024 in 0s

stuck_or_timeout_failure 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 stdlib-shims           0.3.0    [required by coq-elpi]
  - install sexplib0               v0.16.0  [required by base]
  - install re                     1.12.0   [required by elpi]
  - install ppx_derivers           1.2.1    [required by ppx_deriving]
  - install ocaml-compiler-libs    v0.12.4  [required by ppxlib]
  - install menhirSdk              20240715 [required by menhir]
  - install menhirLib              20240715 [required by menhir]
  - install menhirCST              20240715 [required by menhir]
  - install easy-format            1.3.4    [required by atd]
  - install csexp                  1.5.2    [required by dune-configurator]
  - install cppo                   1.7.0    [required by ppx_deriving]
  - install camlp-streams          5.0.1    [required by biniou]
  - install zarith                 1.14     [required by coq-core]
  - install ppxlib                 0.33.0   [required by elpi, ppx_optcomp]
  - install menhir                 20240715 [required by elpi]
  - install dune-configurator      3.17.0   [required by base]
  - install biniou                 1.2.2    [required by atdgen]
  - install coq-core               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.16.3  [required by ppx_optcomp]
  - install atdgen-runtime         2.15.0   [required by atdgen]
  - install coqide-server          8.20.0   [required by coq]
  - install coq-stdlib             8.20.0   [required by coq]
  - install atdts                  2.15.0   [required by elpi]
  - install stdio                  v0.16.0  [required by ppx_optcomp]
  - install atdgen                 2.15.0   [required by elpi]
  - install coq                    8.20.0   [required by coq-htt-core]
  - install ppx_optcomp            v0.16.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    [required by coq-htt-core]
  - install coq-mathcomp-fingroup  2.3.0    [required by coq-htt-core]
  - install coq-mathcomp-algebra   2.3.0    [required by coq-htt-core]
  - install coq-fcsl-pcm           2.0.0    [required by coq-htt-core]
  - install coq-htt-core           2.0.1
===== 46 to install =====
Installing coq-htt-core.2.0.1
[WARNING] Running as root is not recommended
View more details on coqbot-app