CI

build: fix build by upstream nixpkgs now #1428

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.12, 8.8)	4m 13s
build (3.12, 8.10)	4m 38s
build (3.12, 9.2)	4m 1s
build (3.12, 9.0)	4m 15s
build (3.12, 9.6)	4m 55s
build (3.12, 9.4)	4m 44s
build (3.12, 9.10)	3m 57s
build (3.12, 9.12)	4m 49s
build (3.12, 9.8)	5m 7s
	40m 39s