[Jenkins]Jenkins
log in
Build Queue
No builds in the queue.
SWNameLast SuccessLast FailureLast Duration
WDescription%
Build stability: 3 out of the last 5 builds failed.40
afp_testboard 10 mo #19 10 mo #213 hr 31 min
WDescription%
Build stability: No recent builds failed.100
isabelle-all 3 hr 8 min #3990 1 day 22 hr #398410 min
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-nightly-benchmark 13 hr #1783 1 day 13 hr #17821 hr 51 min
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-nightly-slow 12 hr #2081 3 days 12 hr #207810 hr
WDescription%
Build stability: 4 out of the last 5 builds failed.20
testboard 1 mo 15 days #726 28 days #7333 hr 40 min
WDescription%
Build stability: 2 out of the last 3 builds failed.33
isabelle-notify 1 day 16 hr #3 1 day 16 hr #21 min 12 sec
Icon:
     
  1. Small
    2.  
  2. Medium
    3.  
  3. Large