Job 3380

CakeML:3755e17b474bbfedaee7e6914718dd189a144ea6
  Merge pull request #1405 from mrichards30/feature/little-theories [Jun 09 07:44:28]
HOL:9d7499d9bd45579524e6a8bb982571208b67a905
  Fix mosml build of Holmake (must compile fspathTrie) [Jun 05 08:25:32]
Machine:pavlova

Jun 09 13:33:23 Claimed job
Jun 09 13:33:28 Reusing HOL
Jun 09 13:33:29 FAILED: building HOL