Started 6 yr 9 mo ago
Took 53 min
on built-in
No changes. | |
Started by user Administrative User | |
This run spent:
| |
Revision: bc3584f7ac0c2e590376998eddb496214f860614 |
S | R | Job | Build # | Duration | Console |
---|---|---|---|---|---|
main | |||||
isabelle-repo-makeall | build #1173 | ( 53 min ) | Console Output | ||
isabelle-repo-afp | build #1173 | ( 8 min 50 sec ) | Console Output |