The run was canceled by @SkySkimmer.

Process completed with exit code 1.

The operation was canceled.

Process completed with exit code 1.

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

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

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

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

Using opam switch '4.09.0'

which ocamlfind: '/root/.opamcache/4.09.0/bin/ocamlfind'

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

download failing artifacts @ 01959148c9a3711e03392900b622507fc874d42c https://gitlab.inria.fr/coq/coq/-/jobs/5305102/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/5305065/artifacts/download

download passing artifacts @ c9151ded11e3960158722e095daf39122a5e92f9 https://gitlab.inria.fr/coq/coq/-/jobs/5304981/artifacts/download https://gitlab.inria.fr/coq/coq/-/jobs/5304944/artifacts/download

(/github/workspace/builds/coq/coq-failing) /builds/coq/coq/_install_ci/bin/coqc --config: COQLIB=/github/workspace/builds/coq/coq-failing/_install_ci/lib/coq/ COQCORELIB=/github/workspace/builds/coq/coq-failing/_install_ci/lib/coq/../rocq-runtime/ DOCDIR=/builds/coq/coq/_install_ci/share/doc/ OCAMLFIND=/root/.opamcache/4.09.0/bin/ocamlfind CAMLFLAGS=-thread -bin-annot -strict-sequence -w -a+1..3-4+5..8-9+10..26-27+28..39-40-41-42+43-44-45+46..47-48+49..57-58+59..66-67-68+69-70 WARN=-warn-error +a-3 HASNATDYNLINK=true COQ_SRC_SUBDIRS=boot config lib clib kernel library engine pretyping interp gramlib parsing proofs tactics toplevel printing ide stm vernac plugins/btauto plugins/cc plugins/derive plugins/extraction plugins/firstorder plugins/funind plugins/ltac plugins/ltac2 plugins/ltac2_ltac1 plugins/micromega plugins/nsatz plugins/ring plugins/rtauto plugins/ssr plugins/ssrmatching plugins/syntax COQ_NATIVE_COMPILER_DEFAULT=yes

(/github/workspace/builds/coq/coq-failing) setting up coq_environment.txt: COQLIB="/github/workspace/builds/coq/coq-failing/_install_ci/lib/coq/" COQCORELIB="/github/workspace/builds/coq/coq-failing/_install_ci/lib/coq/../rocq-runtime/" DOCDIR="/github/workspace/builds/coq/coq-failing/_install_ci/share/doc/" OCAMLFIND="/root/.opamcache/4.09.0/bin/ocamlfind" CAMLFLAGS="-thread -bin-annot -strict-sequence -w -a+1..3-4+5..8-9+10..26-27+28..39-40-41-42+43-44-45+46..47-48+49..57-58+59..66-67-68+69-70" WARN="-warn-error +a-3" HASNATDYNLINK="true" COQ_SRC_SUBDIRS="boot config lib clib kernel library engine pretyping interp gramlib parsing proofs tactics toplevel printing ide stm vernac plugins/btauto plugins/cc plugins/derive plugins/extraction plugins/firstorder plugins/funind plugins/ltac plugins/ltac2 plugins/ltac2_ltac1 plugins/micromega plugins/nsatz plugins/ring plugins/rtauto plugins/ssr plugins/ssrmatching plugins/syntax" COQ_NATIVE_COMPILER_DEFAULT="yes"

(/github/workspace/builds/coq/coq-passing) /builds/coq/coq/_install_ci/bin/coqc --config: COQLIB=/github/workspace/builds/coq/coq-passing/_install_ci/lib/coq/ COQCORELIB=/github/workspace/builds/coq/coq-passing/_install_ci/lib/coq/../rocq-runtime/ DOCDIR=/builds/coq/coq/_install_ci/share/doc/ OCAMLFIND=/root/.opamcache/4.09.0/bin/ocamlfind CAMLFLAGS=-thread -bin-annot -strict-sequence -w -a+1..3-4+5..8-9+10..26-27+28..39-40-41-42+43-44-45+46..47-48+49..57-58+59..66-67-68+69-70 WARN=-warn-error +a-3 HASNATDYNLINK=true COQ_SRC_SUBDIRS=boot config lib clib kernel library engine pretyping interp gramlib parsing proofs tactics toplevel printing ide stm vernac plugins/btauto plugins/cc plugins/derive plugins/extraction plugins/firstorder plugins/funind plugins/ltac plugins/ltac2 plugins/ltac2_ltac1 plugins/micromega plugins/nsatz plugins/ring plugins/rtauto plugins/ssr plugins/ssrmatching plugins/syntax COQ_NATIVE_COMPILER_DEFAULT=yes

(/github/workspace/builds/coq/coq-passing) setting up coq_environment.txt: COQLIB="/github/workspace/builds/coq/coq-passing/_install_ci/lib/coq/" COQCORELIB="/github/workspace/builds/coq/coq-passing/_install_ci/lib/coq/../rocq-runtime/" DOCDIR="/github/workspace/builds/coq/coq-passing/_install_ci/share/doc/" OCAMLFIND="/root/.opamcache/4.09.0/bin/ocamlfind" CAMLFLAGS="-thread -bin-annot -strict-sequence -w -a+1..3-4+5..8-9+10..26-27+28..39-40-41-42+43-44-45+46..47-48+49..57-58+59..66-67-68+69-70" WARN="-warn-error +a-3" HASNATDYNLINK="true" COQ_SRC_SUBDIRS="boot config lib clib kernel library engine pretyping interp gramlib parsing proofs tactics toplevel printing ide stm vernac plugins/btauto plugins/cc plugins/derive plugins/extraction plugins/firstorder plugins/funind plugins/ltac plugins/ltac2 plugins/ltac2_ltac1 plugins/micromega plugins/nsatz plugins/ring plugins/rtauto plugins/ssr plugins/ssrmatching plugins/syntax" COQ_NATIVE_COMPILER_DEFAULT="yes"

No files were found with the provided path: tmp.v. No artifacts will be uploaded.