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

Release for [coq-metacoq*]. #2760

Closed
wants to merge 1 commit into from

Release for [coq-metacoq*.1.3+8.18].

95ba477
Select commit
Loading
Failed to load commit list.
Closed

Release for [coq-metacoq*]. #2760

Release for [coq-metacoq*.1.3+8.18].
95ba477
Select commit
Loading
Failed to load commit list.
This check has been archived and is scheduled for deletion. Learn more about checks retention
coqbot-app / GitLab CI job opam-build:any (pull request) failed Oct 13, 2023 in 0s

Test has reached timeout 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

[WARNING] Running as root is not recommended
#   switch  compiler                    description
->  4.09.0  ocaml-base-compiler.4.09.0  4.09.0
[WARNING] Running as root is not recommended
[WARNING] Running as root is not recommended
# Packages matching: installed
# Name              # Installed # Synopsis
base-bigarray       base
base-threads        base
base-unix           base
ocaml               4.09.0      The OCaml compiler (virtual package)
ocaml-base-compiler 4.09.0      Official release 4.09.0
ocaml-config        1           OCaml Switch Configuration
/builds/coq/opam/opam-root-4.09.0-2.1.2-sandbox/4.09.0/bin/ocamlc
No repo to add
Check if coq-metacoq-safechecker-plugin.1.3+8.18 is installable
[WARNING] Running as root is not recommended
The following actions would be performed:
  - install dune                           3.11.1   [required by coq, stdlib-shims]
  - install conf-gmp                       4        [required by zarith]
  - install ocamlfind                      1.9.6    [required by coq-equations]
  - install stdlib-shims                   0.3.0    [required by coq-metacoq-utils]
  - install zarith                         1.13     [required by coq-core]
  - install coq-core                       8.18.0   [required by coq]
  - install coqide-server                  8.18.0   [required by coq]
  - install coq-stdlib                     8.18.0   [required by coq]
  - install coq                            8.18.0   [required by coq-metacoq-utils]
  - install coq-equations                  1.3+8.18 [required by coq-metacoq-utils]
  - install coq-metacoq-utils              1.3+8.18 [required by coq-metacoq-common]
  - install coq-metacoq-common             1.3+8.18 [required by coq-metacoq-pcuic, coq-metacoq-template]
  - install coq-metacoq-template           1.3+8.18 [required by coq-metacoq-template-pcuic]
  - install coq-metacoq-pcuic              1.3+8.18 [required by coq-metacoq-safechecker, coq-metacoq-template-pcuic]
  - install coq-metacoq-template-pcuic     1.3+8.18 [required by coq-metacoq-safechecker-plugin]
  - install coq-metacoq-safechecker        1.3+8.18 [required by coq-metacoq-safechecker-plugin]
  - install coq-metacoq-safechecker-plugin 1.3+8.18
===== 17 to install =====
Installing coq-metacoq-safechecker-plugin.1.3+8.18
[WARNING] Running as root is not recommended
ERROR: Job failed: execution took longer than 3h0m0s seconds
View more details on coqbot-app