Build

CallElimCorrect: rewrite using small-step semantics #10139

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run lint checks (stable)	10s
Build and test Lean (stable)	10m 25s
Build documentation	16m 28s
get-branch-name	2s
Check pending Python tests	7m 56s
Build and test Python (3.14)	8m 44s
Build and test Python (3.11)	6m 21s
Build and test Python (3.12)	8m 14s
Build and test Python (3.13)	8m 7s
cbmc / Run CBMC tests	2m 20s
	1h 8m 47s