Started 8 yr 2 mo ago
Took 1 hr 27 min
on worker2
No changes. | |
Started by upstream project isabelle-repo build number 156 | |
Revision: aa894a49f77d978651b00369fb2c81dbe2fb0755 |
No changes. | |
Started by upstream project isabelle-repo build number 156 | |
Revision: aa894a49f77d978651b00369fb2c81dbe2fb0755 |