Skip to content

Enable --keep-all-files in other strata commands #37

Enable --keep-all-files in other strata commands

Enable --keep-all-files in other strata commands #37

Triggered via push July 29, 2026 19:20
Status Failure
Total duration 5m 4s
Artifacts

ci.yml

on: push
Matrix: Build and test Lean
Matrix: Run lint checks
Check pending Python tests
Check pending Python tests
cbmc  /  Run CBMC tests
cbmc / Run CBMC tests
Matrix: Build and test Python
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build and test Lean (stable)
Process completed with exit code 1.
Build and test Lean (stable)
lake build failed