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	Idle
workerlrz6
1	Idle
workermac2
1	isabelle-nightly-mac-afp	#702
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 days 13 hr - #11	9 days 13 hr - #10	2 hr 19 min
	W Description % Build stability: 3 out of the last 5 builds failed. 40	afp_testboard-afp	3 days 13 hr - #11	9 days 11 hr - #10	2 hr 18 min
	W Description % Build stability: No recent builds failed. 100	isabelle-all	13 hr - #2626	2 days 22 hr - #2617	27 min
	W Description % Build stability: 1 out of the last 5 builds failed. 80	isabelle-dump	6 days 0 hr - #31	20 days - #29	13 hr
	W Description % Build stability: No recent builds failed. 100	isabelle-nightly-benchmark	23 hr - #1386	5 mo 6 days - #1261	1 hr 30 min
	W Description % Build stability: 3 out of the last 5 builds failed. 40	isabelle-nightly-mac-afp	3 mo 1 day - #629	10 days - #700	15 hr
	W Description % Build stability: No recent builds failed. 100	isabelle-nightly-slow	22 hr - #1595	9 days 22 hr - #1587	10 hr
	W Description % Build stability: 4 out of the last 5 builds failed. 20	testboard	14 days - #434	8 days 6 hr - #437	2 hr 32 min

Icon:  S M L

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