Started 8 yr 3 mo ago
Took 3 hr 35 min
on worker1
No changes. | |
Started by upstream project isabelle-repo build number 104 | |
Revision: 9d706e37ddab492223d799cba3cc0101f0fb038c | |
Revision: 66108cce435db65e8d727132e8dae41cfe67c48c |
No changes. | |
Started by upstream project isabelle-repo build number 104 | |
Revision: 9d706e37ddab492223d799cba3cc0101f0fb038c | |
Revision: 66108cce435db65e8d727132e8dae41cfe67c48c |