Started 6 yr 3 mo ago
Took 3 min 18 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1520 | |
This run spent:
| |
Revision: 8374c80165e1240902ef58b9a84c8f4013b90dfb | |
Revision: 90bc651cbc2cafc221b763a86658f94c3679dfd6 |