Added user script in coqbot.sh for SkySkimmer in coq/coq #1554
Annotations
1 error and 1 warning
Run minimizer
The reference H23 was not found in the current environment.
|
Run minimizer
Running command /usr/bin/python3 /github/workspace/coq-tools/find-bug.py -y /github/workspace/CertiGraph/CertiGC/refine_bug.v /github/workspace/cwd/bug_01.v /github/workspace/cwd/tmp.v --error-log=/github/workspace/build.log --no-deps --ignore-coq-prog-args --inline-user-contrib --coqc=/home/coq/.opam/4.13.1+flambda/bin/coqc.orig --coqtop=/home/coq/.opam/4.13.1+flambda/bin/coqtop.orig --coq_makefile=/home/coq/.opam/4.13.1+flambda/bin/coq_makefile --coqdep /home/coq/.opam/4.13.1+flambda/bin/coqdep --base-dir=/github/workspace/builds/coq/coq-failing/_build_ci/ -Q /github/workspace/cwd Top --verbose-include-failure-warning --verbose-include-failure-warning-prefix ::warning:: --verbose-include-failure-warning-newline
--arg=-w --arg=-overriding-logical-loadpath -Q /github/workspace/CertiGraph/lib CertiGraph.lib -Q /github/workspace/CertiGraph/msl_ext CertiGraph.msl_ext -Q /github/workspace/CertiGraph/msl_application CertiGraph.msl_application -Q /github/workspace/CertiGraph/graph CertiGraph.graph -Q /github/workspace/CertiGraph/heap_model_direct CertiGraph.heap_model_direct -Q /github/workspace/CertiGraph CertiGraph -Q /home/coq/.opam/4.13.1+flambda/lib/coq/user-contrib/VST VST -Q /home/coq/.opam/4.13.1+flambda/lib/coq/user-contrib/compcert compcert -l - /github/workspace/bug.log --verbose-log-file 9999\,/github/workspace/bug.verbose.log
|
The logs for this run have expired and are no longer available.
Loading