Set up CI minimization run for ci-metacoq #2010
coqbotAnnotations
10 warnings
|
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build
No files were found with the provided path: bug.v. No artifacts will be uploaded.
|
|
build
No files were found with the provided path: bug.verbose.log. No artifacts will be uploaded.
|
|
build
Using opam switch '4.14.1+flambda'
|
|
build
which ocamlfind: '/root/.opamcache/4.14.1+flambda/bin/ocamlfind'
|
|
build
ocamlfind ocamlopt -v: The OCaml native-code compiler, version 4.14.1
Standard library directory: /root/.opamcache/4.14.1+flambda/lib/ocaml
|
|
build
download failing artifacts @ c5fed9e5837051427bd4fc6206b4eff3caa5459b https://gitlab.inria.fr/coq/coq/-/jobs/5122557/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/5122641/artifacts/download
|
|
build
download passing artifacts @ 03dd829b8c9b0950c21ec59f27242acbf8f07e73 https://gitlab.inria.fr/coq/coq/-/jobs/5112370/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/5112454/artifacts/download
|
|
build
/github/workspace/builds/coq/coq-failing/_install_ci/bin/coqc -config:
|
|
build
/github/workspace/builds/coq/coq-passing/_install_ci/bin/coqc -config:
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
artifact
Expired
|
1.44 GB |
sha256:eb99d6e2417e1f42348873faa4fad22b3fec1225171cac745afcfb19cf6bac9e
|
|
|
bug.log
Expired
|
130 Bytes |
sha256:df12a33b07362172c6b64d580f0bfe254548454fc59b5da533e2926fe7bb303c
|
|
|
build.log
Expired
|
288 KB |
sha256:a26c538fef16631429b3bb359fe2c752573c80e25f6166444a4b833db9807372
|
|
|
metadata
Expired
|
255 Bytes |
sha256:8a3910ab67520da9612a01c0c1c612053789108c69a6ddcb5879edfaddc1f74f
|
|
|
tmp.log
Expired
|
130 Bytes |
sha256:5578cbd00949ffd66429071ef06b4e7674bfeba83102a428dc3892c153dfe087
|
|
|
tmp.v
Expired
|
126 Bytes |
sha256:5f2b80bfc464a57e9931ab15ae736b0a76696d8926e553bd9a24d75daef0f4e4
|
|