verify

Merge pull request #81 from luckylat/big-int/divide #123

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	36s
verify (00)	2m 57s
verify (01)	3m 44s
verify (02)	2m 41s
verify (03)	2m 47s
verify (04)	3m 2s
verify (05)	2m 50s
verify (06)	3m 3s
verify (07)	2m 57s
verify (08)	2m 57s
verify (09)	3m 59s
verify (10)	2m 41s
verify (11)	3m 2s
verify (12)	2m 47s
verify (13)	3m 47s
verify (14)	3m 26s
verify (15)	3m 5s
verify (16)	3m 12s
verify (17)	3m 19s
verify (18)	2m 51s
verify (19)	2m 50s
docs-and-check	33s
deploy	9s
	1h 3m 15s