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 2 mo 27 days - #11 3 mo 3 days - #102 hr 19 min 
Success40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
afp_testboard-afp 2 mo 27 days - #11 3 mo 3 days - #102 hr 18 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
isabelle-all 18 days - #2742 31 min - #278330 min 
Aborted100%
WDescription%
Build stability: No recent builds failed.100
isabelle-dump 12 days - #42N/A12 hr 
Failed80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-nightly-benchmark 2 days 22 hr - #1444 1 day 22 hr - #14451 hr 39 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-slow 21 hr - #1662 6 days 21 hr - #165610 hr 
Failed0%
WDescription%
Build stability: All recent builds failed.0
testboard 1 mo 8 days - #449 9 days 8 hr - #4583 hr 17 min 
Icon:  S M L