Started 6 yr 10 mo ago
Took 2 min 24 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 985 | |
This run spent:
| |
Revision: d91108ba94747cc4de4c857a8ed720b9098adc22 | |
Revision: d7365bac7932845e7adf20724e7e8ff04cb3445b |