Enable calling procedures in contracts #10609
keyboardDrummerci.yml
on: pull_request
Matrix: Build and test Lean
get-branch-name
3s
Build documentation
15m 44s
Matrix: Run lint checks
Check pending Python tests
0s
cbmc
/
Run CBMC tests
Matrix: Build and test Python
Annotations
4 errors and 1 warning
|
Build and test Lean (stable)
Process completed with exit code 1.
|
|
Build and test Lean (stable)
lake build failed
|
|
Build documentation
Process completed with exit code 1.
|
|
Build documentation
lake build failed
|
|
Build documentation
Cache save failed.
|