Added user script in coqbot.sh for JasonGross in coq/coq #1551
Annotations
6 errors and 2 warnings
build
The reference H23 was not found in the current environment.
|
build
The reference H23 was not found in the current environment.
|
build
The reference H23 was not found in the current environment.
|
build
The reference H23 was not found in the current environment.
|
build
The reference H23 was not found in the current environment.
|
build
Process completed with exit code 1.
|
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.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
artifact
Expired
|
14.7 MB |
|
bug.log
Expired
|
0 Bytes |
|
build.log
Expired
|
57.2 KB |
|
metadata
Expired
|
141 Bytes |
|
tmp.v
Expired
|
0 Bytes |
|