Started 5 yr 12 mo ago
Took 3 min 35 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1756 | |
This run spent:
| |
Revision: 581a1bfec8ad32a2b94d1dd88560cdbf392f7ebe | |
Revision: 4246a00b54848932ca5c4084566854b801f3faf2 |