Started 7 yr 5 mo ago
Took 30 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 707 | |
This run spent:
| |
Revision: 440f55c3fd55e47384e3cf8a13a66757f1309f29 | |
Revision: f9bfb725b05ceaa7dc0cc677cf1bf4713cb54d4f |