Started 6 yr 10 mo ago
Took 2 min 24 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 993 | |
This run spent:
| |
Revision: d3b6e5e47015932037e5991c543379e04af02c0b | |
Revision: bb7d0696a87f5133c819d5c97bfc562809ecf034 |