Started 6 yr 8 mo ago
Took 54 min
on workermta3
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1219 | |
This run spent:
| |
Revision: c8b18abf23e19032cd9d48bea7d7c7da40c151f4 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1219 | |
This run spent:
| |
Revision: c8b18abf23e19032cd9d48bea7d7c7da40c151f4 |