Skip to content

Jenkins

log in

• Jenkins
• 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  ( offline)
workermac2  ( offline)
workermta1
1	Idle
workermtahpc
1	Idle

All

default

nightly

testboard

S	W	Name	Last Success	Last Failure	Last Duration
	W Description % Build stability: 2 out of the last 5 builds failed. 60	afp_testboard-afp	4 mo 12 days - #371	14 days - #373	1 hr 19 min
	W Description % Build stability: 1 out of the last 5 builds failed. 80	isabelle-all	7 hr 56 min - #2252	2 hr 32 min - #2253	6 min 41 sec
	W Description % Build stability: All recent builds failed. 0	isabelle-dump	N/A	3 mo 5 days - #11	11 hr
	W Description % Build stability: No recent builds failed. 100	isabelle-nightly-benchmark	3 days 23 hr - #1285	1 mo 5 days - #1261	1 hr 28 min
	W Description % Build stability: All recent builds failed. 0	isabelle-nightly-mac-afp	5 days 22 hr - #593	15 hr - #599	10 hr
	W Description % Build stability: 4 out of the last 5 builds failed. 20	isabelle-nightly-slow	15 hr - #1487	1 day 22 hr - #1486	10 hr
	W Description % Build stability: 3 out of the last 5 builds failed. 40	testboard	11 hr - #380	6 days 15 hr - #378	1 hr 36 min

Icon:  S M L

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