Skip to content
Build

Add CI for standalone StrataPython repo #1

Sign in to view logs

Add CI for standalone StrataPython repo

Add CI for standalone StrataPython repo #1

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run lint checks (stable)
6s
Build and test Lean (stable)
18m 43s
Build and test Python (3.14)
8s
Build and test Python (3.11)
8s
Build and test Python (3.13)
5s
Check pending Python tests
8s
Build and test Python (3.12)
6s
cbmc / Run CBMC tests
8s
19m 32s