Repository navigation
Adapt to non-optional AstNode.source and Identifier.source #39
strata-git-sync[bot]ci.yml
on: push
Matrix: Build and test Lean
Matrix: Run lint checks
Check pending Python tests
0s
cbmc
/
Run CBMC tests
Matrix: Build and test Python
Annotations
2 errors
|
Build and test Lean (stable)
Process completed with exit code 1.
|
|
Build and test Lean (stable)
lake build failed
|