Skip to content

Jenkins

log in

• Dashboard
• default

People

Build History

Project Relationship

Check File Fingerprint

Disk Usage

Credentials

Build Queue

No builds in the queue.

Build Executor Status

master
1	Idle
2	Idle
3	Idle
4	Idle
workerlrz5
1	isabelle-nightly-slow	#1679
workerlrz6
1	Idle
workermta1
1	Idle
workermtahpc
1	Idle

All

default

nightly

testboard

S	W	Name	Last Success	Last Failure	Last Duration
	W Description % Build stability: 3 out of the last 5 builds failed. 40	afp_testboard	3 mo 18 days - #11	3 mo 24 days - #10	2 hr 19 min
	W Description % Build stability: 3 out of the last 5 builds failed. 40	afp_testboard-afp	3 mo 18 days - #11	3 mo 24 days - #10	2 hr 18 min
	W Description % Build stability: No recent builds failed. 100	isabelle-all	14 hr - #2835	5 days 10 hr - #2817	22 min
	W Description % Build stability: 2 out of the last 5 builds failed. 60	isabelle-dump	13 days - #49	6 days 9 hr - #50	13 hr
	W Description % Build stability: No recent builds failed. 100	isabelle-nightly-benchmark	9 hr 2 min - #1458	18 days - #1448	1 hr 30 min
	W Description % Build stability: 1 out of the last 5 builds failed. 80	isabelle-nightly-slow	1 day 8 hr - #1678	5 days 8 hr - #1674	10 hr
	W Description % Build stability: 4 out of the last 5 builds failed. 20	testboard	4 days 10 hr - #459	1 mo 0 days - #458	3 hr 15 min

Icon:  S M L

LegendAtom feed for allAtom feed for failuresAtom feed for just latest builds