PICO type check update #60

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (11)	6m 34s
build (11)	6m 34s
build (8)	7m 32s
build (8)	7m 32s
build (17)	1m 27s
build (17)	5m 50s
	35m 29s