File-relative error reporting #10604
leo-leescoci.yml
on: pull_request
Matrix: Build and test Lean
get-branch-name
3s
Build documentation
30m 26s
Matrix: Run lint checks
Check pending Python tests
0s
cbmc
/
Run CBMC tests
Matrix: Build and test Python
Annotations
1 error, 1 warning, and 1 notice
|
Build and test Lean (stable)
Process completed with exit code 1.
|
|
Build documentation
Cache save failed.
|
|
Build documentation
Summary report available at: https://github.com/strata-org/Strata/actions/runs/27763194269#summary-82142757935
|