Build Queue
No builds in the queue.
  S  WNameLast SuccessLast FailureLast Duration 
Success33%
WDescription%
Build stability: 2 out of the last 3 builds failed.33
afp_testboard 2 mo 1 day - #3 2 mo 2 days - #23 hr 24 min 
Success33%
WDescription%
Build stability: 2 out of the last 3 builds failed.33
afp_testboard-afp 2 mo 1 day - #3 2 mo 2 days - #21 hr 34 min 
Failed80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-all 14 hr - #2470 3 hr 37 min - #24712 hr 43 min 
Success60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
isabelle-dump 6 days 3 hr - #23 1 mo 1 day - #2013 hr 
In progress100%
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-benchmark 1 day 3 hr - #1343 3 mo 10 days - #12611 hr 28 min 
In progress0%
WDescription%
Build stability: All recent builds failed.0
isabelle-nightly-mac-afp 1 mo 6 days - #629 19 hr - #65415 hr 
In progress80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-nightly-slow 2 days 2 hr - #1548 1 day 2 hr - #154911 hr 
Failed60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
testboard 1 day 8 hr - #415 5 hr 30 min - #4162 hr 4 min 
Icon:  S M L