verify

improve to_string #364

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 10s
verify (00)	59s
verify (01)	1m 17s
verify (02)	1m 2s
verify (04)	46s
verify (06)	20s
verify (05)	52s
verify (09)	16s
verify (03)	51s
verify (10)	30s
verify (18)	15s
verify (13)	15s
verify (14)	17s
verify (19)	21s
verify (16)	26s
verify (11)	31s
verify (07)	28s
verify (12)	27s
verify (17)	28s
verify (08)	19s
verify (15)	15s
docs-and-check	39s
deploy	13s
	12m 57s