nightly-reference #1
myfreessnightly-reference.yml
on: schedule
resolve reference environment
6s
full layered reference
1m 26s
Annotations
1 error and 1 warning
|
full layered reference
Process completed with exit code 1.
|
|
full layered reference
No files were found with the provided path: /__w/_temp/nightly-pr-records
/home/runner/work/_temp/nightly-prover-result.json
/home/runner/work/why3.mbt/why3.mbt/_build/reference-context. No artifacts will be uploaded.
|