Started 6 yr 11 mo ago
Took 59 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1015 | |
This run spent:
| |
Revision: e5ba49a72ab9c8725aa42c266e9527de8e59363a | |
Revision: c227ef10011e5efed38d6304a4cbc268b8a24cea |