Started 6 yr 0 mo ago
Took 3 min 37 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1769 | |
This run spent:
| |
Revision: f483fe1813f0c5959eb6311af8dd39f1c6af9ed7 | |
Revision: 6e9f7e2eb79fd240f199b00dd693096d78b6b1f4 |