Started 6 yr 7 mo ago
Took 7 min 40 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1292 | |
This run spent:
| |
Revision: c1b87d15774a0527c7831f543047320e30b7c89c | |
Revision: de7fdcb2d3b4429c4d8d65d23e749267131985f4 |