[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 1 yr 0 mo #19 1 yr 0 mo #213 hr 31 min
WDescription%
Build stability: No recent builds failed.100
isabelle-all 1 day 6 hr #4115 20 days #408929 min
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-benchmark 1 day 20 hr #1826 2 mo 4 days #17821 hr 51 min
WDescription%
Build stability: 2 out of the last 5 builds failed.60
isabelle-nightly-slow 1 day 19 hr #2134 19 hr #213512 hr
WDescription%
Build stability: All recent builds failed.0
testboard 12 days #762 9 days 11 hr #7684 hr 0 min
WDescription%
Build stability: No recent builds failed.100
isabelle-notify 2 days 3 hr #84 1 mo 28 days #41 min 31 sec
Icon:
     
  1. Small
    2.  
  2. Medium
    3.  
  3. Large