fix(core): isolate path conditions at the procedure boundary #10615
fabiomadgeci.yml
on: pull_request
Matrix: Build and test Lean
get-branch-name
4s
Build documentation
26m 34s
Matrix: Run lint checks
Check pending Python tests
5m 14s
cbmc
/
Run CBMC tests
3m 31s
Matrix: Build and test Python
Annotations
3 warnings and 1 notice
|
cbmc / Run CBMC tests
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
cbmc / Run CBMC tests
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
Build documentation
Cache save failed.
|
|
Build documentation
Summary report available at: https://github.com/strata-org/Strata/actions/runs/27773950918#summary-82181079791
|