Started 20 days ago
Took 14 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: a3c2868cfb5d0c270989df98b9c347cb350f7aa3 | |
Revision: a5af6ac3ee675d1103d154179dcd7b5a95b06ffd |