Started 7 yr 5 mo ago
Took 11 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 719 | |
This run spent:
| |
Revision: c8626f7fae060cdc4706c223217d520639575ca7 | |
Revision: 81786077a578e408cd69625f9bc8cfee5d5785fc |