Started 7 yr 0 mo ago
Took 2 min 22 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 951 | |
This run spent:
| |
Revision: 637b26fd3349f5760ba2b5dd150625172701f905 | |
Revision: 342bb455c72a3ffd5d46b4e665f0af57026f676b |