Started 13 days ago
Took 18 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 0c51e0a6bc378d04c575d2ab52f65bf4e85be3d0 | |
Revision: d8aa8cc911785f38955a087c12585dcf3374e70b |