Skip to content
Build

Fix tests by adding pyAnalyzeV2 to lakefile.toml #96

Sign in to view logs

Fix tests by adding pyAnalyzeV2 to lakefile.toml

Fix tests by adding pyAnalyzeV2 to lakefile.toml #96

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run lint checks (stable)
8s
Build and test Lean (stable)
9m 50s
Check pending Python tests
6m 51s
Build and test Python (3.14)
16m 46s
Build and test Python (3.13)
19m 45s
Build and test Python (3.12)
19m 39s
cbmc / Run CBMC tests
3s
Build and test Python (3.11)
17m 11s
1h 30m 13s