![[Jenkins]](/jenkins/static/109fb1e5/images/svgs/logo.svg){kind=logo}
| S | W | Job | Last Success | Last Failure | Last Duration | Console | Built On | |
|---|---|---|---|---|---|---|---|---|
| isabelle-repo | 5 yr 10 mo #1772 | 5 yr 10 mo #1773 | 5 hr 12 min | Console output | Jenkins | |||
| main | ||||||||
| isabelle-repo-makeall | 5 yr 10 mo #1773 | 6 yr 1 mo #1493 | 1 hr 0 min | Console output | ||||
| isabelle-repo-afp | 5 yr 10 mo #1772 | 5 yr 10 mo #1773 | 1 hr 44 min | Console output | workermta1 |
Disk Usage
|
Downstream Projects
- Disabled
isabelle
-repo -afp - Disabled
isabelle
-repo -makeall