Started 6 yr 1 mo ago
Took 1 hr 48 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1671 | |
This run spent:
| |
Revision: eb57621568bb001175ffaa5e160e92fd89e3e6ac | |
Revision: 42888cf23eebce0fa26c1cc6e942e654a573a07d |