Started 6 yr 1 mo ago
Took 48 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1694 | |
This run spent:
| |
Revision: fb5653a7a8790cd7c10f389a82021b4a8a45e3bd | |
Revision: f7af89fe7aff7a79c38075b7276460ba3e5e6ba8 |