Started 8 yr 2 mo ago
Took 3 hr 18 min
on worker2
No changes. | |
Started by upstream project isabelle-repo build number 158 | |
Revision: ae2ec7d86ad4880934db10c556959d9a24fb942a | |
Revision: a647bfff9a7748d0cafc69b4c0b25131ba0ad173 |
No changes. | |
Started by upstream project isabelle-repo build number 158 | |
Revision: ae2ec7d86ad4880934db10c556959d9a24fb942a | |
Revision: a647bfff9a7748d0cafc69b4c0b25131ba0ad173 |