Started 6 yr 1 mo ago
Took 47 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1648 | |
This run spent:
| |
Revision: 8b50f29a1992566b9503b2740f40e3d6a05edb9c | |
Revision: 9ab3d1ca24b6c6caf1f04f9d0d000dbc58169913 |