Started 7 yr 5 mo ago
Took 5 min 12 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 721 | |
This run spent:
| |
Revision: 730bc1bcf27cccc929a121a67089cba483cb5d71 | |
Revision: 81786077a578e408cd69625f9bc8cfee5d5785fc |