Started 7 yr 9 mo ago
Took 1 hr 33 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 460 | |
This run spent:
| |
Revision: c9bba9dba73b19bcf231db707dd1c5f33c13aab0 | |
Revision: 55256a98f65f6e4d737af3ad321d2da880c818d4 |