Started 17 days ago
Took 14 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default) | |
This run spent:
| |
Revision: 5af76462e3a5b1ed9b3b891392c36132fb74a57c | |
Revision: 05b5fea0d115cb52086d15ff293a4f8478fa4276 |