Started 6 yr 11 mo ago
Took 10 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 994 | |
This run spent:
| |
Revision: 93eac3bdf3f9938abc5b6b63daf249c7eb41a74b | |
Revision: 86e817d9bcb76fa6bfd65272ddb761e9cfc6e784 |