Started 6 yr 1 mo ago
Took 1 hr 46 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1680 | |
This run spent:
| |
Revision: 80df7c90e3151ada2005bd9c8e7ad25ad3555fff | |
Revision: ba17cfab5e67ef5ff5d33b612a056108ca335a41 |