Started 6 yr 1 mo ago
Took 3 min 29 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1705 | |
This run spent:
| |
Revision: 2941e58318c728db2b7d03b6d04ea67bc2626629 | |
Revision: edb3bc1985b5f72470a2d49feaf0d602ddba0252 |