Started 7 yr 6 mo ago
Took 1 hr 30 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 642 | |
This run spent:
| |
Revision: 5bd30359e46e7df973fb9af00fe528feb7415e20 | |
Revision: c86adbf1663e98c87f226d6a3fde5028dffcec96 |