Started 6 yr 1 mo ago
Took 2 hr 1 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1639 | |
This run spent:
| |
Revision: 4646124e683e7c384091b8a243c844ab8e286670 | |
Revision: 8c4f6bd7601ef002e81ceac7ac3ceff5779d8ea7 |