Started 7 yr 4 mo ago
Took 5 min 30 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 796 | |
This run spent:
| |
Revision: a8dfa258bf93e26d5450d49da30650f4faedac28 | |
Revision: 63d2df45a4470409b0b8dd90dbaef36f72dceaa0 |