S | W | Job | Last Success | Last Failure | Last Duration | Console | Built On | |
---|---|---|---|---|---|---|---|---|
isabelle-repo | 5 yr 11 mo #1772 | 5 yr 11 mo #1773 | 5 hr 12 min | Console output | Jenkins | |||
main | ||||||||
isabelle-repo-makeall | 5 yr 11 mo #1773 | 6 yr 3 mo #1493 | 1 hr 0 min | Console output | ||||
isabelle-repo-afp | 5 yr 11 mo #1772 | 5 yr 11 mo #1773 | 1 hr 44 min | Console output | workermta1 |
Disk Usage
|
Downstream Projects
- Disabled
isabelle
-repo -afp - Disabled
isabelle
-repo -makeall