Started 5 yr 11 mo ago
Took 1 hr 3 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1767 | |
This run spent:
| |
Revision: ebdd5508f3865bd11a0644c8ef4a2355af5f4c33 | |
Revision: 48cb6bc17b746c63cbb37002657a15e7ec1c6f4c |