Started 7 yr 3 mo ago
Took 1 hr 34 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 825 | |
This run spent:
| |
Revision: 7fb5aad28f384d620088b67fba8f0d22589922fd | |
Revision: 933c6cc759b15dd524c098b73520a742ff19c013 |