verify

Fix conversion warning #252

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	35s
verify (00)	50s
verify (01)	58s
verify (02)	31s
verify (03)	58s
verify (04)	55s
verify (05)	1m 8s
verify (06)	33s
verify (07)	51s
verify (08)	39s
verify (09)	1m 15s
verify (10)	1m 14s
verify (11)	53s
verify (12)	53s
verify (13)	46s
verify (14)	43s
verify (15)	2m 12s
verify (16)	1m 14s
verify (17)	43s
verify (18)	58s
verify (19)	1m 7s
docs-and-check	35s
deploy	7s
	20m 38s