Started 7 yr 10 mo ago
Took 2 hr 2 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 311 | |
Revision: cb0882cf150d9122252960c9ced187124b776d5c | |
Revision: aa807720e3bd2a110b116103bde7d7dcc11dc9de |