Overview

Job 1285

CakeML:6f71ec748c056d9a784b0d01d2b96d77b6e006ca
  Fix some scripts in response to changes in HOL
HOL:de873d08971c87bcfbbce86cdcd59909ef803929
  Remove some Unicode in src
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Building HOL