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

Fix hashes of metacoq releases #3378

Merged
merged 1 commit into from
Apr 4, 2025

Fix hashes of metacoq releases (previously broken due to use of MacOS…

44edec3
Select commit
Loading
Failed to load commit list.
Merged

Fix hashes of metacoq releases #3378

Fix hashes of metacoq releases (previously broken due to use of MacOS…
44edec3
Select commit
Loading
Failed to load commit list.
coqbot-app / GitLab CI job opam-build:5.0.0 (pull request) failed Apr 4, 2025 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

         - lib/ocaml/profiling
         - lib/ocaml/ocamlmktop
         - lib/ocaml/ocamldoc
         - lib/ocaml/dynlink
         - lib/ocaml/compiler-libs
         - lib/ocaml/caml

[ERROR] The compilation of coq-metacoq-erasure.1.2+8.17 failed at "make -j 2 -C erasure".

#=== ERROR while compiling coq-metacoq-erasure.1.2+8.17 =======================#
# context              2.1.2 | linux/x86_64 | ocaml-base-compiler.5.0.0 | file:///builds/coq/opam/released
# path                 ~/opam-root-5.0.0-2.1.2-sandbox/5.0.0/.opam-switch/build/coq-metacoq-erasure.1.2+8.17
# command              /usr/bin/make -j 2 -C erasure
# exit-code            2
# env-file             ~/opam-root-5.0.0-2.1.2-sandbox/log/coq-metacoq-erasure-1576296-a708ff.env
# output-file          ~/opam-root-5.0.0-2.1.2-sandbox/log/coq-metacoq-erasure-1576296-a708ff.out
### output ###
# [...]
# (papp_odd =
#  MetaCoq_Erasure_Typed_CertifyingEta_Examples_Ex5_papp_odd_expanded)
# (papp_expr =
#  MetaCoq_Erasure_Typed_CertifyingEta_Examples_Ex5_papp_expr_expanded)
# COQC theories/Typed/ExtractionCorrectness.v
# Terminated
# make[2]: *** [Makefile.erasure:830: theories/Typed/TypeAnnotations.vo] Error 143
# make[2]: *** [theories/Typed/TypeAnnotations.vo] Deleting file 'theories/Typed/TypeAnnotations.glob'
# make[1]: *** [Makefile.erasure:409: all] Error 2
# make[1]: Leaving directory '/builds/coq/opam/opam-root-5.0.0-2.1.2-sandbox/5.0.0/.opam-switch/build/coq-metacoq-erasure.1.2+8.17/erasure'
# make: *** [Makefile:11: theory] Error 2
# make: Leaving directory '/builds/coq/opam/opam-root-5.0.0-2.1.2-sandbox/5.0.0/.opam-switch/build/coq-metacoq-erasure.1.2+8.17/erasure'


Installed files:
Terminated
[WARNING] Running as root is not recommended
[WARNING] Running as root is not recommended
xargs: scripts/opam-coq-install-remove: terminated by signal 15
WARNING: step_script could not run to completion because the timeout was exceeded. For more control over job and script timeouts see: https://docs.gitlab.com/ee/ci/runners/configure_runners.html#set-script-and-after_script-timeouts
ERROR: Job failed: execution took longer than 24h0m0s seconds
View more details on coqbot-app