Started 7 yr 3 mo ago
Took 5 min 38 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 826 | |
This run spent:
| |
Revision: 27c1b5e952bdd9d15c3b0cc140418fa076ce439e | |
Revision: d9c6f5142370c5436630cf037a7a1fbbe73dc19d |