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
1	Idle
workermac2
1	Idle
workermta1
1	Idle
workermtahpc
1	testboard	#396

All

default

nightly

testboard

S	W	Name	Last Success	Last Failure	Last Duration
	W Description % Build stability: 2 out of the last 3 builds failed. 33	afp_testboard	28 days - #3	29 days - #2	3 hr 24 min
	W Description % Build stability: 2 out of the last 3 builds failed. 33	afp_testboard-afp	28 days - #3	29 days - #2	1 hr 34 min
	W Description % Build stability: 3 out of the last 5 builds failed. 40	isabelle-all	8 hr 52 min - #2358	9 hr 58 min - #2357	12 min
	W Description % Build stability: All recent builds failed. 0	isabelle-dump	N/A	1 day 0 hr - #18	3 hr 14 min
	W Description % Build stability: No recent builds failed. 100	isabelle-nightly-benchmark	1 day 0 hr - #1314	2 mo 7 days - #1261	1 hr 28 min
	W Description % Build stability: 4 out of the last 5 builds failed. 20	isabelle-nightly-mac-afp	2 days 23 hr - #629	23 hr - #631	15 hr
	W Description % Build stability: 1 out of the last 5 builds failed. 80	isabelle-nightly-slow	23 hr - #1517	3 days 23 hr - #1514	10 hr
	W Description % Build stability: All recent builds failed. 0	testboard	20 days - #389	6 days 2 hr - #395	1 hr 0 min

Icon:  S M L

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