default [Jenkins]

Skip to content

Project Relationship

Check File Fingerprint

Build Queue

No builds in the queue.

Build Executor Status

1

Idle

2

Idle

3

Idle

4

Idle

1

isabelle-nightly-slow

1

Idle

1

Idle

1

Idle

W	Description	%
	Build stability: 3 out of the last 5 builds failed.	40

6 mo 14 days - #11

1 mo 1 day - #16

2 hr 18 min

W	Description	%
	Build stability: All recent builds failed.	0

2 days 9 hr - #3013

9 hr 27 min - #3020

22 min

W	Description	%
	Build stability: No recent builds failed.	100

1 day 8 hr - #63

1 mo 6 days - #58

23 hr

W	Description	%
	Build stability: No recent builds failed.	100

isabelle-nightly-benchmark

8 hr 0 min - #1520

24 days - #1498

1 hr 28 min

W	Description	%
	Build stability: 2 out of the last 5 builds failed.	60

isabelle-nightly-slow

1 day 7 hr - #1753

3 days 7 hr - #1751

11 hr

W	Description	%
	Build stability: 2 out of the last 5 builds failed.	60

4 days 13 hr - #505

4 days 19 hr - #503

3 hr 21 min

Icon: S M L

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