[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 16 hr #3996 2 days 14 hr #399120 min
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-nightly-benchmark 1 day 5 hr #1785 4 days 5 hr #17821 hr 51 min
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-slow 1 day 4 hr #2083 6 days 4 hr #207811 hr
WDescription%
Build stability: 4 out of the last 5 builds failed.20
testboard 1 mo 17 days #726 1 mo 1 day #7333 hr 40 min
WDescription%
Build stability: 2 out of the last 3 builds failed.33
isabelle-notify 4 days 8 hr #3 4 days 8 hr #21 min 12 sec
Icon:
     
  1. Small
    2.  
  2. Medium
    3.  
  3. Large