Started 6 yr 3 mo ago
Took 29 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1522 | |
This run spent:
| |
Revision: cd1cac824ef87224fab3b85194a12db1910a19e4 | |
Revision: d1f38be075ab4bc8ab214896298a81a8726e9d11 |