Job 925

CakeML:71e11ac160b9119014d5860128750b891c1061a4
  Adjust a proof that broke due to change in HOL [Jun 29 12:04:52]
HOL:27b999029af7e69c3496b29a745728c30561192b
  Fix regular-play/selftest.sml given testutils changes [Jun 26 01:16:59]
Machine:brain09 4.14.127.1.amd64-smp

Jun 29 12:06:28 Claimed job
Jun 29 12:06:34 Building HOL
Jun 29 12:06:34 FAILED: building HOL