Overview

Job 923

CakeML:b5f9f2039fb6beb02a83abcfe0361f97b43f3a38
  Fix a broken proof in fromSexp
HOL:27b999029af7e69c3496b29a745728c30561192b
  Fix regular-play/selftest.sml given testutils changes
Machine:brain08 4.14.127.1.amd64-smp

 Claimed job
 Building HOL
 FAILED: building HOL