verify

Fix tabulation #420

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 34s
verify (01)	1m 3s
verify (02)	1m 29s
verify (11)	1m 20s
verify (05)	52s
verify (08)	1m 19s
verify (00)	1m 5s
verify (06)	1m 32s
verify (09)	52s
verify (04)	6m 18s
verify (07)	1m 0s
verify (10)	1m 10s
verify (12)	56s
verify (14)	58s
verify (18)	57s
verify (16)	1m 8s
verify (15)	3m 17s
verify (17)	1m 39s
verify (19)	1m 25s
verify (13)	1m 21s
verify (03)	1m 5s
docs-and-check	50s
deploy	9s
	33m 19s