Build Queue
No builds in the queue.
  S  WNameLast SuccessLast FailureLast Duration 
WDescription%
Build stability: 3 out of the last 5 builds failed.40
afp_testboard 6 mo 14 days - #11 1 mo 1 day - #162 hr 18 min 
WDescription%
Build stability: All recent builds failed.0
isabelle-all 2 days 9 hr - #3013 9 hr 27 min - #302022 min 
WDescription%
Build stability: No recent builds failed.100
isabelle-dump 1 day 8 hr - #63 1 mo 6 days - #5823 hr 
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-benchmark 8 hr 0 min - #1520 24 days - #14981 hr 28 min 
WDescription%
Build stability: 2 out of the last 5 builds failed.60
isabelle-nightly-slow 1 day 7 hr - #1753 3 days 7 hr - #175111 hr 
WDescription%
Build stability: 2 out of the last 5 builds failed.60
testboard 4 days 13 hr - #505 4 days 19 hr - #5033 hr 21 min 
Icon:  S M L