Added user script in coqbot.sh for JasonGross in coq-community/run-co… #1586
Annotations
1 error and 1 warning
build
Anomaly "Not an unfoldable reference."
|
build
Running command /usr/bin/python3 /github/workspace/coq-tools/find-bug.py -y /github/workspace/fiat-crypto/src/Experiments/SimplyTypedArithmetic.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=-q --arg=-w --arg=-deprecated-hint-rewrite-without-locality\,+deprecated-hint-without-locality\,+deprecated-instance-without-locality\,unsupported-attributes --arg=-w --arg=-notation-overridden --arg=-w --arg=-deprecated-native-compiler-option --arg=-native-compiler --arg=no -R /github/workspace/fiat-crypto/src Crypto -R /github/workspace/fiat-crypto/bbv/src/bbv bbv -I /github/workspace/fiat-crypto/coqprime/src -Q /github/workspace/fiat-crypto/coqprime/src/Coqprime Coqprime -l - /github/workspace/bug.log --verbose-log-file 9999\,/github/workspace/bug.verbose.log
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
artifact
Expired
|
359 MB |
|
bug.log
Expired
|
234 KB |
|
bug.v
Expired
|
184 KB |
|
bug.verbose.log
Expired
|
1.19 GB |
|
build.log
Expired
|
304 KB |
|
metadata
Expired
|
257 Bytes |
|
tmp.v
Expired
|
0 Bytes |
|