Started 7 yr 7 mo ago
Took 12 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 607 | |
This run spent:
| |
Revision: 49b78f1f9e016af29601151edc3bfddce1ba1e75 | |
Revision: 9dfca781e67fc21ad24e224f6246c3cfead9e02e |