Started 5 hr 29 min ago
Took 1 hr 23 min
on workermta1
Build #2782
(Apr 16, 2021 7:29:12 AM)
![]() | Build Artifacts |
![]() |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) |
![]() | |
![]() | This run spent:
|
![]() | Revision: ed5226fdf89d32e5d537e2d4e22d9bfb13c040a6 |
![]() | Revision: 401da3b5743dba616518e259f1d8c5ccfe6cf79e |
![]() | Failed entries: |