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
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	2 mo 27 days - #11	3 mo 3 days - #10	2 hr 19 min
	W Description % Build stability: 3 out of the last 5 builds failed. 40	afp_testboard-afp	2 mo 27 days - #11	3 mo 3 days - #10	2 hr 18 min
	W Description % Build stability: All recent builds failed. 0	isabelle-all	18 days - #2742	31 min - #2783	30 min
	W Description % Build stability: No recent builds failed. 100	isabelle-dump	12 days - #42	N/A	12 hr
	W Description % Build stability: 1 out of the last 5 builds failed. 80	isabelle-nightly-benchmark	2 days 22 hr - #1444	1 day 22 hr - #1445	1 hr 39 min
	W Description % Build stability: No recent builds failed. 100	isabelle-nightly-slow	21 hr - #1662	6 days 21 hr - #1656	10 hr
	W Description % Build stability: All recent builds failed. 0	testboard	1 mo 8 days - #449	9 days 8 hr - #458	3 hr 17 min

Icon:  S M L

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