Started 7 yr 1 mo ago
Took 2 min 23 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 886 | |
This run spent:
| |
Revision: c67bb109cd7b912fbc1bd9bcbbdf5d1b3c1ba0d1 | |
Revision: e10461c91d1ddc6626f6502b25b5e8b735f80626 |