Build

Fix resolution errors during phases #10607

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build documentation	28m 35s
Build and test Lean (stable)	30m 19s
Run lint checks (stable)	12s
get-branch-name	5s
Build and test Python (3.12)	8m 43s
Check pending Python tests	4m 24s
Build and test Python (3.11)	6m 40s
Build and test Python (3.13)	8m 24s
Build and test Python (3.14)	8m 35s
cbmc / Run CBMC tests	4m 18s
	1h 40m 15s