Started 7 yr 7 mo ago
Took 58 min
on workermta4
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 610 | |
This run spent:
| |
Revision: a720c39113080d741265f4dd40afbeddeaa9aae7 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 610 | |
This run spent:
| |
Revision: a720c39113080d741265f4dd40afbeddeaa9aae7 |