Started 14 days ago
Took 13 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 138b5172c7f85d4cdae5d54fc276b6bdaa9b124b | |
Revision: 7f16aa37c534da877b0659713e23a27a9f44eba1 |