Started 6 yr 4 mo ago
Took 1 hr 38 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1417 | |
This run spent:
| |
Revision: aab817885622fe31ae45bac0a18aba82823705a7 | |
Revision: 23020f3805c1a8aba786d85355384e2b81ae909f |