Started 6 yr 1 mo ago
Took 2 hr 1 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1638 | |
This run spent:
| |
Revision: 5da8b97d9183c7ce5d99b0957b3dfb6f7cef5871 | |
Revision: 8c4f6bd7601ef002e81ceac7ac3ceff5779d8ea7 |