Set up CI minimization resumption run for ci-analysis #1594

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Annotations

11 warnings

Using opam switch '4.14.1+flambda'

which ocamlfind: '/root/.opamcache/4.14.1+flambda/bin/ocamlfind'

ocamlfind ocamlopt -v: The OCaml native-code compiler, version 4.14.1 Standard library directory: /root/.opamcache/4.14.1+flambda/lib/ocaml

Run minimizer

download failing artifacts @ df45fd0bea8b9b8ec8e48dd5d8716094c57e9ad9 https://gitlab.inria.fr/coq/coq/-/jobs/3600455/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/3600507/artifacts/download

Run minimizer

Upload verbose output log

No files were found with the provided path: bug.verbose.log. No artifacts will be uploaded.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Set up CI minimization resumption run for ci-analysis #1594

build

Set up CI minimization resumption run for ci-analysis #1594

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...