Started 6 yr 2 mo ago
Took 49 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1625 | |
This run spent:
| |
Revision: 9c2088adff8b19ffb3de2a02c8dc7d6f0b05a9e5 | |
Revision: ba558fdf522c5d8a8b59d936ec96302bf49cd881 |