Started 8 yr 2 mo ago
Took 1 hr 32 min
on worker4
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 166 | |
Revision: 1ba3aacfa4d3b0f92bc92facc01f83027aa90372 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 166 | |
Revision: 1ba3aacfa4d3b0f92bc92facc01f83027aa90372 |