Started 8 yr 1 mo ago
Took 3 hr 45 min
on worker2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 197 | |
Revision: 284e1802bc5c8bceabfe7fe0b1e4b7bf9ee4e834 | |
Revision: 0926d0e7c628161780fada6f6ec3d0f4700e7079 |