Started 7 yr 4 mo ago
Took 2 min 55 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 782 | |
This run spent:
| |
Revision: 36c650d1a90d7f6b6c5a0117b59498a53dfff06d | |
Revision: f95eefd7493363e6b821af353bd59ddc3f346f66 |