All
  
   S   WNameLast SuccessLast FailureLast Duration  
Failed0%
WDescription%
Build stability: All recent builds failed.0
coq_trunk 3 mo 22 days (#2282) 1 day 17 hr (#2321) 8 min 44 sec 
Disabled80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
coq_v8.3 3 yr 3 mo (#455) 3 yr 3 mo (#456) 4 min 31 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
coq_v8.4 5 hr 5 min (#1625) 1 yr 2 mo (#1179) 9 min 26 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
coq_v8.5 1 day 20 hr (#1015) 8 mo 28 days (#891) 8 min 14 sec 
Failed0%
WDescription%
Build stability: All recent builds failed.0
coqdoc 2 mo 22 days (#1619) 2 hr 7 min (#1701) 1 hr 48 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
ssr_trunk 8 mo 14 days (#2736) 4 days 20 hr (#2882) 1 hr 23 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
ssr_trunk_coqchk_after_vio2vo 8 mo 14 days (#132) N/A38 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
ssr_trunk_make_quick 8 mo 14 days (#383) 2 yr 1 mo (#208) 1 hr 8 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
ssr_trunk_make_vio2vo 8 mo 14 days (#181) 1 yr 0 mo (#120) 5 min 29 sec 
Success100%
WDescription%
Build stability: No recent builds failed.100
ssr_trunk_next 1 yr 0 mo (#1) N/A1 hr 18 min 
Disabled40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
ssr_v8.3 3 yr 7 mo (#779) 3 yr 7 mo (#783) 1 hr 19 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
ssr_v8.4 6 mo 5 days (#2129) 4 hr 55 min (#2342) 3 hr 2 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
ssr_v8.5 3 mo 10 days (#946) 1 day 20 hr (#967) 1 hr 50 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
ssr_v8.5_next 1 yr 0 mo (#1) N/A1 hr 51 min 
Disabled60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
strub-multinomials_trunk 1 yr 0 mo (#724) 1 yr 0 mo (#726) 3 min 0 sec 
Icon:  S M L