Job 1390

CakeML:5673ecc5b0fd2844f20012b1e1e53f807fd54011
  Adjust to change in HOL's ThyDataSexp API [Nov 10 22:33:42]
HOL:ea22210a5c1604df84c66d847322f752e263354d
  Fiddle with file in attempt to get otknl build progressing further [Nov 10 07:57:06]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 10 22:40:07 Claimed job
Nov 10 22:40:10 Building HOL