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