Started 6 yr 0 mo ago
Took 1 hr 44 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1720 | |
This run spent:
| |
Revision: 691c02d1699bedf4707ab9841d0c41057cf3b354 | |
Revision: 7f9c8aca53e8e7e9ecf2e5dec74d8488689e4e18 |