Started 6 yr 2 mo ago
Took 56 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1568 | |
This run spent:
| |
Revision: 7811748de2719d2b33b668ba5cc187d252bbd73b | |
Revision: 7a9e13c52757c2505af6f5e097eeb87f1462498a |