Repository navigation
chore: update lake-manifest.json #169
strata-git-sync[bot]ci.yml
on: push
Matrix: Build and test Lean
Matrix: Run lint checks
Check pending Python tests
4m 21s
cbmc
/
Run CBMC tests
3s
Matrix: Build and test Python
Annotations
9 errors, 1 warning, and 8 notices
|
Run lint checks (stable)
Process completed with exit code 1.
|
|
Check pending Python tests
Process completed with exit code 1.
|
|
Build and test Python (3.12)
Process completed with exit code 1.
|
|
Build and test Python (3.11)
The strategy configuration was canceled because "build_python._3_12" failed
|
|
Build and test Python (3.11)
Process completed with exit code 1.
|
|
Build and test Python (3.14)
The strategy configuration was canceled because "build_python._3_12" failed
|
|
Build and test Python (3.14)
Process completed with exit code 1.
|
|
Build and test Python (3.13)
The strategy configuration was canceled because "build_python._3_12" failed
|
|
Build and test Python (3.13)
The operation was canceled.
|
|
cbmc / Run CBMC tests
CBMC checks are temporarily disabled (known-broken; will be re-enabled once fixed).
|
|
Run lint checks (stable)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Build and test Lean (stable)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
cbmc / Run CBMC tests
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Check pending Python tests
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Build and test Python (3.12)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Build and test Python (3.11)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Build and test Python (3.14)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Build and test Python (3.13)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|