Started 8 yr 3 mo ago
Took 3 hr 34 min
on worker2
No changes. | |
Started by upstream project isabelle-repo build number 127 | |
Revision: 388719339ada7fe43336dc42b654c5bac3fb7303 | |
Revision: 81c0d8abf04f088ea9ed7278b355e8d0ce08b4ae |
No changes. | |
Started by upstream project isabelle-repo build number 127 | |
Revision: 388719339ada7fe43336dc42b654c5bac3fb7303 | |
Revision: 81c0d8abf04f088ea9ed7278b355e8d0ce08b4ae |