Started 6 yr 7 mo ago
Took 1 hr 36 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1319 | |
This run spent:
| |
Revision: 335ed2834ebcdc77266a218f5abf6cf0ee88cf29 | |
Revision: 789b0050dac890224babb2f0d083f08512b8f262 |