Started 7 yr 1 mo ago
Took 2 min 25 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 936 | |
This run spent:
| |
Revision: 68cd15585f4641b4e2837231146b9fba663b7fcc | |
Revision: 09eedef1319591429a33a9a2904c6edf7705fc98 |