verify

Compute det in inv #201

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	43s
verify (00)	1m 14s
verify (01)	55s
verify (02)	44s
verify (03)	40s
verify (04)	39s
verify (05)	54s
verify (06)	53s
verify (07)	39s
verify (08)	38s
verify (09)	40s
verify (10)	28s
verify (11)	24s
verify (12)	30s
verify (13)	45s
verify (14)	17s
verify (15)	15s
verify (16)	15s
verify (17)	21s
verify (18)	24s
verify (19)	15s
docs-and-check	48s
deploy	10s
	13m 31s