Started 7 yr 8 mo ago
Took 2 min 48 sec
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 546 | |
This run spent:
| |
Revision: ae7c115739225627fce2b97ebe8c07eb2bc3ca53 | |
Revision: 1bffa6708aead7f192875bf3155fc21872771e63 |