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