Job 1749

CakeML:fe46ca072678de42c6fdfc32f40eafeb917dab02
  Fix proof broken by HOL changes making more rewrites automatic [Jan 20 00:31:55]
HOL:a1eeb53dfc767d417d825457463d269718d87ee4
  Holmake: update mlton build info for change in 244fc47a4 [Jan 31 00:25:43]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jan 31 14:35:09 Claimed job
Jan 31 14:35:23 Building HOL