 |  | W | Description | % |
|---|
 | Build stability: 3 out of the last 5 builds failed. | 40 |
| afp_testboard |
1 mo 17 days
- #11 |
1 mo 23 days
- #10 | 2 hr 19 min | |
| | W | Description | % |
|---|
| Build stability: 3 out of the last 5 builds failed. | 40 |
| afp_testboard-afp |
1 mo 17 days
- #11 |
1 mo 23 days
- #10 | 2 hr 18 min | |
|  | W | Description | % |
|---|
 | Build stability: 2 out of the last 5 builds failed. | 60 |
| isabelle-all |
1 day 3 hr
- #2695 |
2 days 4 hr
- #2693 | 2 hr 4 min | |
|  | W | Description | % |
|---|
 | Build stability: No recent builds failed. | 100 |
| isabelle-dump |
1 day 1 hr
- #38 |
1 mo 13 days
- #32 | 20 hr | |
| | W | Description | % |
|---|
| Build stability: No recent builds failed. | 100 |
| isabelle-nightly-benchmark |
1 day 1 hr
- #1413 |
6 mo 20 days
- #1261 | 1 hr 31 min | |
 | | W | Description | % |
|---|
| Build stability: 2 out of the last 5 builds failed. | 60 |
| isabelle-nightly-slow |
3 days 0 hr
- #1624 |
1 day 0 hr
- #1626 | 10 hr | |
|  | W | Description | % |
|---|
 | Build stability: 4 out of the last 5 builds failed. | 20 |
| testboard |
2 days 15 hr
- #447 |
6 days 7 hr
- #446 | 3 hr 13 min | |
![[Jenkins]](/jenkins/static/6febe42d/images/jenkins-header-logo-v2.svg){kind=logo}
master