Started 6 yr 7 mo ago
Took 1 hr 0 min
on workermta3
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1299 | |
This run spent:
| |
Revision: eada9bd5fff2982c4b41f1767d5dfc1a047e52f4 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1299 | |
This run spent:
| |
Revision: eada9bd5fff2982c4b41f1767d5dfc1a047e52f4 |