Build Queue
No builds in the queue.
  S  WNameLast SuccessLast FailureLast Duration 
Success100%
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-benchmark 7 hr 43 min - #1458 18 days - #14481 hr 30 min 
In progress80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-nightly-slow 1 day 7 hr - #1678 5 days 6 hr - #167410 hr 
Icon:  S M L