Started 7 yr 2 mo ago
Took 2 min 20 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 880 | |
This run spent:
| |
Revision: 79be5b464a1642389b539e3b6dad5d28ef126eea | |
Revision: 9e1d00ea4a00eb944b999d31147f7d88d66c2cd9 |