Started 8 yr 2 mo ago
Took 3 hr 35 min
on worker1
No changes. | |
Started by upstream project isabelle-repo build number 144 | |
Revision: 1c1f8531ca372e8efd14d6b188004bbe35e6e48d | |
Revision: 3d3b922fa316bb2c4da8a4daad1375a7f50defed |
No changes. | |
Started by upstream project isabelle-repo build number 144 | |
Revision: 1c1f8531ca372e8efd14d6b188004bbe35e6e48d | |
Revision: 3d3b922fa316bb2c4da8a4daad1375a7f50defed |