verify

doc: tiny change #1159

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	6m 22s
verify (00)	57s
verify (01)	43s
verify (02)	40s
verify (03)	42s
verify (04)	39s
verify (05)	37s
verify (06)	32s
verify (07)	32s
verify (08)	39s
verify (09)	32s
verify (10)	37s
verify (11)	49s
verify (12)	39s
verify (13)	26s
verify (14)	47s
verify (15)	42s
verify (16)	29s
verify (17)	41s
verify (18)	28s
verify (19)	26s
docs-and-check	3m 6s
deploy	11s
	22m 16s