Back to pull request #156

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.7)	3s
build (3.8)	31s
build (3.9)	30s
build (3.10)	25s
build (3.11)	24s
build (3.12)	32s
	2m 25s