Overview

Job 932

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

 Claimed job
 Building HOL
 FAILED: building HOL