Running command /usr/bin/python3 /github/workspace/coq-tools/find-bug.py -y /github/workspace/temp/bug.v /github/workspace/cwd/bug_01.v /github/workspace/cwd/tmp.v --error-log=/github/workspace/build.log --temp-file-log=/github/workspace/cwd/tmp.log --no-deps --ignore-coq-prog-args --inline-user-contrib --coqc=/home/rocq/.opam/4.14.2+flambda/bin/coqc.orig --coqtop=/home/rocq/.opam/4.14.2+flambda/bin/coqtop.orig --coq_makefile=/home/rocq/.opam/4.14.2+flambda/bin/coq_makefile --coqdep /home/rocq/.opam/4.14.2+flambda/bin/coqdep --base-dir=/github/workspace/temp --ocamlpath= -Q /github/workspace/cwd Top --verbose-include-failure-warning --verbose-include-failure-warning-prefix ::warning:: --verbose-include-failure-warning-newline %0A --arg=-q --arg=-coqlib --arg=/home/rocq/.opam/4.14.2+flambda/lib/coq/ -l - /github/workspace/bug.log --verbose-log-file 9999\,/github/workspace/bug.verbose.log