Started 6 yr 1 mo ago
Took 1 hr 44 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1686 | |
This run spent:
| |
Revision: 2bc921b2159b1e79a2891757f30c5ab561b3a16e | |
Revision: 6f003998fe4e944b06990254a3fb002d32225079 |