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 1 mo 17 days - #11 1 mo 23 days - #102 hr 19 min 
Success40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
afp_testboard-afp 1 mo 17 days - #11 1 mo 23 days - #102 hr 18 min 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
isabelle-all 1 day 3 hr - #2695 2 days 4 hr - #26932 hr 4 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
isabelle-dump 1 day 1 hr - #38 1 mo 13 days - #3220 hr 
Success100%
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-benchmark 1 day 1 hr - #1413 6 mo 20 days - #12611 hr 31 min 
Failed60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
isabelle-nightly-slow 3 days 0 hr - #1624 1 day 0 hr - #162610 hr 
Success20%
WDescription%
Build stability: 4 out of the last 5 builds failed.20
testboard 2 days 15 hr - #447 6 days 7 hr - #4463 hr 13 min 
Icon:  S M L