Started 6 yr 0 mo ago
Took 35 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1749 | |
This run spent:
| |
Revision: 0eb751466b792142ad25cc99238b54af557a71c4 | |
Revision: 3fd6045c40c63b3b6a020c329e5ce3dd3076c29b |