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