Started 8 yr 1 mo ago
Took 3 hr 37 min
on worker3
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 207 | |
Revision: 0909deb8059b919a235f73fcaf45b7e84839c7a6 | |
Revision: 3cf054deecf230814d0d06f890974d5a6ae19270 |