Started 7 yr 10 mo ago
Took 1 hr 12 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 396 | |
Revision: f81e5f492cf9c20f93e3e9105eb59517fb3b6f19 | |
Revision: 1cbc172afd56746f003075cf43443923e2b74889 |