Started 7 yr 2 mo ago
Took 39 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 881 | |
This run spent:
| |
Revision: c5b19f9972140700e518760ca9402cd428dd922a | |
Revision: 9e1d00ea4a00eb944b999d31147f7d88d66c2cd9 |