Build Queue
No builds in the queue.
 master
1Idle
2Idle
3Idle
4Idle
 workerlrz5
1Idle
 workerlrz6  ( offline)
 workermac2  ( offline)
 workermta1
1Idle
 workermtahpc
1Idle
  S  WNameLast SuccessLast FailureLast Duration 
Failed60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
afp_testboard-afp 4 mo 12 days - #371 14 days - #3731 hr 19 min 
Failed80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-all 7 hr 56 min - #2252 2 hr 32 min - #22536 min 41 sec 
Disabled0%
WDescription%
Build stability: All recent builds failed.0
isabelle-dumpN/A 3 mo 5 days - #1111 hr 
Success100%
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-benchmark 3 days 23 hr - #1285 1 mo 5 days - #12611 hr 28 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
isabelle-nightly-mac-afp 5 days 22 hr - #593 15 hr - #59910 hr 
Success20%
WDescription%
Build stability: 4 out of the last 5 builds failed.20
isabelle-nightly-slow 15 hr - #1487 1 day 22 hr - #148610 hr 
Success40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
testboard 11 hr - #380 6 days 15 hr - #3781 hr 36 min 
Icon:  S M L