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