CakeML Regression Test

Job 931

CakeML:d697572a1beb34bc1fb767281f3eab226a9590fc
  Fix another MEM_DROP issue in holSyntaxExtra [Jul 02 07:05:14]
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 02 07:20:49 Claimed job
Jul 02 07:20:53 Building HOL
Jul 02 07:20:54 FAILED: building HOL