[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 8 mo 19 days #19 8 mo 19 days #213 hr 31 min
WDescription%
Build stability: 2 out of the last 5 builds failed.60
isabelle-all 11 hr #3844 1 day 20 hr #384142 min
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-benchmark 7 hr 17 min #1747 9 mo 24 days #15791 hr 47 min
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-slow 1 day 6 hr #2034 7 days 6 hr #202811 hr
WDescription%
Build stability: 1 out of the last 5 builds failed.80
testboard 1 mo 7 days #717 2 days 10 hr #7183 hr 40 min
Icon:
     
  1. Small
    2.  
  2. Medium
    3.  
  3. Large