Build

Add CI for standalone StrataPython repo #2

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and test Lean (stable)	5m 37s
Run lint checks (stable)	5s
Build and test Python (3.13)	15m 56s
Build and test Python (3.12)	14m 15s
Build and test Python (3.11)	12m 13s
Build and test Python (3.14)	16m 35s
cbmc / Run CBMC tests	8m 59s
Check pending Python tests	5m 49s
	1h 19m 29s