Build Queue
No builds in the queue.
  S  WNameLast SuccessLast FailureLast Duration 
Success40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
afp_testboard 3 mo 18 days - #11 3 mo 24 days - #102 hr 19 min 
Success40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
afp_testboard-afp 3 mo 18 days - #11 3 mo 24 days - #102 hr 18 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
isabelle-all 14 hr - #2835 5 days 10 hr - #281722 min 
Failed60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
isabelle-dump 13 days - #49 6 days 9 hr - #5013 hr 
Success100%
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-benchmark 9 hr 2 min - #1458 18 days - #14481 hr 30 min 
In progress80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-nightly-slow 1 day 8 hr - #1678 5 days 8 hr - #167410 hr 
Success20%
WDescription%
Build stability: 4 out of the last 5 builds failed.20
testboard 4 days 10 hr - #459 1 mo 0 days - #4583 hr 15 min 
Icon:  S M L