Started 6 yr 5 mo ago
Took 3 min 12 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1443 | |
This run spent:
| |
Revision: aefe7a7b330a84003c0b8350c03975c3eeba8c5e | |
Revision: 0b99a44c62fbf112059eff743e11175b7c38a54b |