Started 7 yr 4 mo ago
Took 1 hr 29 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 762 | |
This run spent:
| |
Revision: ab7e11730ad8515e4e320d857c2ba4a52d51bcf3 | |
Revision: 901f6bfc80844443e3f48a912fb1ed7ff7cd6d31 |