build

Draft: improve hotstart by not using the auxiliary variable #55

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.7)	25s
build (3.8)	27s
build (3.9)	31s
build (3.10)	27s
build (3.11)	24s
build (3.12)	28s
	2m 42s