Added user script in coqbot.sh for JasonGross in coq-community/run-co… #1939
coqbotAnnotations
2 errors and 3 warnings
|
build
Process completed with exit code 1.
|
|
build
The command has not failed!
|
|
build
No files were found with the provided path: bug.v. No artifacts will be uploaded.
|
|
build
No files were found with the provided path: bug.verbose.log. No artifacts will be uploaded.
|
|
build
Running command /usr/bin/python3 /github/workspace/coq-tools/find-bug.py -y /github/workspace/foo/bar/bar.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/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/foo -Q /github/workspace/cwd Top --verbose-include-failure-warning --verbose-include-failure-warning-prefix ::warning:: --verbose-include-failure-warning-newline
--arg=-q -Q /github/workspace/foo/bar -l - /github/workspace/bug.log --verbose-log-file 9999\,/github/workspace/bug.verbose.log
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
artifact
|
1.5 MB |
|
|
bug.log
|
130 Bytes |
|
|
build.log
|
1.62 KB |
|
|
metadata
|
276 Bytes |
|
|
tmp.log
|
130 Bytes |
|
|
tmp.v
|
126 Bytes |
|