CallElimCorrect: rewrite using small-step semantics #10139
PROgram52bcci.yml
on: pull_request
Matrix: Build and test Lean
get-branch-name
2s
Build documentation
16m 28s
Matrix: Run lint checks
Check pending Python tests
7m 56s
cbmc
/
Run CBMC tests
2m 20s
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/26986528781#summary-79637285438
|