Merge branch 'master' of https://github.com/michaelbeale-IL/hotcrp #15

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-18 (7.3)	1s
build (7.0)	47s
build (7.1)	53s
build-18 (8.0)	1s
build (7.2)	36s
build (7.3)	31s
build (7.4)	34s
build (8.0)	58s
	4m 21s