Started 6 yr 3 mo ago
Took 1 hr 42 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1534 | |
This run spent:
| |
Revision: 9cc32b18c7851f560a87546c0eda6052785bf38d | |
Revision: 5e73b2289f6e18fb5457aa47bd5ec331fdcad6d8 |