Started 6 yr 11 mo ago
Took 2 min 27 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1048 | |
This run spent:
| |
Revision: 8bf96de5019366491b1b2785f25fbc0bb060924c | |
Revision: 803b2f3594ee2d2270d53742fb630fc8a015ea71 |