Started 8 yr 0 mo ago
Took 1 hr 10 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 265 | |
Revision: e5d08b1d8feaf5459e07fd11ec0faa822668419a | |
Revision: d1ba6b0192fae1f82cb3677cb6c143645da79a24 |