Started 7 yr 4 mo ago
Took 3 min 0 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 754 | |
This run spent:
| |
Revision: c0ab0824ccb5ac9413d129324e07e4d4823cbca0 | |
Revision: e1c315f654e62083bac3b6ece7aed33a54e850f9 |