Started 7 yr 2 mo ago
Took 1 hr 33 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 822 | |
This run spent:
| |
Revision: ac9391e04ef2f59b64e5b5f821b93641fe615b31 | |
Revision: e38a28e388850d29f218100024b9fbf67b6cbd10 |