 |  | W | Description | % |
|---|
 | Build stability: 2 out of the last 3 builds failed. | 33 |
| afp_testboard |
2 mo 1 day
- #3 |
2 mo 2 days
- #2 | 3 hr 24 min | |
| | W | Description | % |
|---|
| Build stability: 2 out of the last 3 builds failed. | 33 |
| afp_testboard-afp |
2 mo 1 day
- #3 |
2 mo 2 days
- #2 | 1 hr 34 min | |
 |  | W | Description | % |
|---|
 | Build stability: 1 out of the last 5 builds failed. | 80 |
| isabelle-all |
14 hr
- #2470 |
3 hr 37 min
- #2471 | 2 hr 43 min | |
|  | W | Description | % |
|---|
 | Build stability: 2 out of the last 5 builds failed. | 60 |
| isabelle-dump |
6 days 3 hr
- #23 |
1 mo 1 day
- #20 | 13 hr | |
 |  | W | Description | % |
|---|
 | Build stability: No recent builds failed. | 100 |
| isabelle-nightly-benchmark |
1 day 3 hr
- #1343 |
3 mo 10 days
- #1261 | 1 hr 28 min | |
 |  | W | Description | % |
|---|
 | Build stability: All recent builds failed. | 0 |
| isabelle-nightly-mac-afp |
1 mo 6 days
- #629 |
19 hr
- #654 | 15 hr | |
| | W | Description | % |
|---|
| Build stability: 1 out of the last 5 builds failed. | 80 |
| isabelle-nightly-slow |
2 days 2 hr
- #1548 |
1 day 2 hr
- #1549 | 11 hr | |
| | W | Description | % |
|---|
| Build stability: 2 out of the last 5 builds failed. | 60 |
| testboard |
1 day 8 hr
- #415 |
5 hr 30 min
- #416 | 2 hr 4 min | |
![[Jenkins]](/jenkins/static/506e76c5/images/jenkins-header-logo-v2.svg){kind=logo}
master