Skip to content
Build

chore: update lake-manifest.json #169

Sign in to view logs

chore: update lake-manifest.json

chore: update lake-manifest.json #169

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and test Lean (stable)
16m 43s
Run lint checks (stable)
8s
Build and test Python (3.13)
11m 32s
Build and test Python (3.14)
11m 14s
Build and test Python (3.12)
10m 48s
Check pending Python tests
4m 21s
Build and test Python (3.11)
10m 55s
cbmc / Run CBMC tests
3s
1h 5m 44s