Run checks

Fix broken test #971

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (18, 13.10, 6)	10m 43s
build (18, 13.10, 7)	11m 15s
build (18, 14.7, 6)	10m 25s
build (18, 14.7, 7)	10m 20s
build (18, 15.2, 6)	25s
build (18, 15.2, 7)	10m 26s
build (20, 13.10, 6)	9m 53s
build (20, 13.10, 7)	9m 50s
build (20, 14.7, 6)	11m 8s
build (20, 14.7, 7)	9m 58s
build (20, 15.2, 6)	9m 56s
build (20, 15.2, 7)	9m 59s
	1h 54m 18s