Started 7 yr 3 mo ago
Took 1 hr 34 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 810 | |
This run spent:
| |
Revision: b9f5cd8456167fb1d0f1ee61b3a3f8ba11cdfc53 | |
Revision: 1599fa18897014ff06e5066dfcd6828c07605a9f |