Started 1 mo 5 days ago
Took 13 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: f83e9e9a898ec980cd46328f8ed97e461236c1e2 | |
Revision: 4b5944e86bd6128c3c3f1c4b4911399938cb61dc |