Job 923

CakeML:b5f9f2039fb6beb02a83abcfe0361f97b43f3a38
  Fix a broken proof in fromSexp [Jun 29 07:32:43]
HOL:27b999029af7e69c3496b29a745728c30561192b
  Fix regular-play/selftest.sml given testutils changes [Jun 26 01:16:59]
Machine:brain08 4.14.127.1.amd64-smp

Jun 29 07:46:21 Claimed job
Jun 29 07:46:27 Building HOL
Jun 29 07:46:27 FAILED: building HOL