verify

Discrete log #101

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	32s
verify (00)	38s
verify (01)	38s
verify (02)	30s
verify (03)	1m 10s
verify (04)	32s
verify (05)	52s
verify (06)	39s
verify (07)	52s
verify (08)	43s
verify (09)	43s
verify (10)	42s
verify (11)	57s
verify (12)	1m 25s
verify (13)	46s
verify (14)	54s
verify (15)	42s
verify (16)	16s
verify (17)	15s
verify (18)	22s
verify (19)	18s
docs-and-check	36s
deploy	7s
	15m 9s