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 days 13 hr - #11 9 days 13 hr - #102 hr 19 min 
Success40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
afp_testboard-afp 3 days 13 hr - #11 9 days 11 hr - #102 hr 18 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
isabelle-all 13 hr - #2626 2 days 22 hr - #261727 min 
Success80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-dump 6 days 0 hr - #31 20 days - #2913 hr 
Success100%
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-benchmark 23 hr - #1386 5 mo 6 days - #12611 hr 30 min 
In progress40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
isabelle-nightly-mac-afp 3 mo 1 day - #629 10 days - #70015 hr 
Success100%
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-slow 22 hr - #1595 9 days 22 hr - #158710 hr 
Failed20%
WDescription%
Build stability: 4 out of the last 5 builds failed.20
testboard 14 days - #434 8 days 6 hr - #4372 hr 32 min 
Icon:  S M L