verify

use four russians in prod_mod_2 #360

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 12s
verify (04)	23s
verify (03)	1m 44s
verify (00)	53s
verify (01)	1m 14s
verify (05)	23s
verify (02)	1m 2s
verify (14)	22s
verify (09)	18s
verify (16)	28s
verify (07)	23s
verify (10)	17s
verify (15)	22s
verify (18)	15s
verify (19)	18s
verify (12)	17s
verify (11)	26s
verify (08)	23s
verify (17)	23s
verify (13)	17s
verify (06)	25s
docs-and-check	45s
deploy	10s
	12m 40s