Container Build Verification #394

Job	Run time
Build & verify container image	7m 4s
Tier-3 / or-tools	4m 1s
Tier-3 / metamath	4m 57s
Tier-3 / twelf	4m 25s
Tier-3 / scip	4m 3s
Tier-3 / proverif	4m 52s
Tier-3 / acl2	6m 31s
Tier-3 / tamarin	4m 7s
Tier-3 / hol4	23m 56s
	1h 3m 56s

Navigation Menu