Started 6 yr 7 mo ago
Took 56 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1318 | |
This run spent:
| |
Revision: 3fe40ff1b921be65de4993ba4362ff7153dcaecc | |
Revision: 789b0050dac890224babb2f0d083f08512b8f262 |