Started 8 yr 3 mo ago
Took 1 hr 8 min
on worker4
No changes. | |
Started by upstream project isabelle-repo build number 130 | |
Revision: a8758f47f9e8adfc64e207553da4099e30899f92 |
No changes. | |
Started by upstream project isabelle-repo build number 130 | |
Revision: a8758f47f9e8adfc64e207553da4099e30899f92 |