 |  | W | Description | % |
|---|
 | Build stability: 1 out of the last 5 builds failed. | 80 |
| afp_testboard |
12 days
- #371 |
1 mo 4 days
- #367 | 1 hr 19 min | |
| | W | Description | % |
|---|
| Build stability: 1 out of the last 5 builds failed. | 80 |
| afp_testboard-afp |
12 days
- #371 |
1 mo 4 days
- #367 | 1 hr 19 min | |
 | | W | Description | % |
|---|
| Build stability: 1 out of the last 5 builds failed. | 80 |
| isabelle-all |
1 day 19 hr
- #2032 |
1 hr 58 min
- #2033 | 1 hr 50 min | |
 |  | W | Description | % |
|---|
 | Build stability: All recent builds failed. | 0 |
| isabelle-dump | N/A |
3 days 18 hr
- #7 | 12 hr | |
|  | W | Description | % |
|---|
 | Build stability: No recent builds failed. | 100 |
| isabelle-nightly-benchmark |
1 day 17 hr
- #1202 |
1 mo 1 day
- #1179 | 1 hr 21 min | |
 |  | W | Description | % |
|---|
 | Build stability: 2 out of the last 5 builds failed. | 60 |
| isabelle-nightly-mac-afp |
13 days
- #484 |
4 days 17 hr
- #492 | 9 hr 52 min | |
| | W | Description | % |
|---|
| Build stability: 1 out of the last 5 builds failed. | 80 |
| isabelle-nightly-slow |
3 days 17 hr
- #1392 |
1 day 17 hr
- #1393 | 10 hr | |
| | W | Description | % |
|---|
| Build stability: 2 out of the last 5 builds failed. | 60 |
| testboard |
3 days 9 hr
- #337 |
3 days 20 hr
- #335 | 1 hr 28 min | |
![[Jenkins]](/jenkins/static/18c148ea/images/jenkins-header-logo-v2.svg){kind=logo}
master
workerlrz6
offline)
