Job 932

CakeML:3307d9840e93caaed0969c033bf55b654361b12a
  Fix examples/array_searchProg for HOL's change to MEM_DROP thms [Jul 03 06:31:06]
HOL:ac73c4a854bdbf4cb5b2de938cd8c4e504511bdc
  Find a superscript * (sort of) in Unicode to use for RTC syntax [Jul 02 06:42:41]
Machine:brain09 4.14.127.1.amd64-smp

Jul 03 07:04:15 Claimed job
Jul 03 07:04:21 Building HOL
Jul 03 07:04:21 FAILED: building HOL