Job 3370

CakeML:88e427b7a861ffc4654fe8bfdc19c0584ab73922
  globally increase num arith cache params 100x (#1402) [Jun 04 16:47:03]
HOL:9d7499d9bd45579524e6a8bb982571208b67a905
  Fix mosml build of Holmake (must compile fspathTrie) [Jun 05 08:25:32]
Machine:timtam

Jun 05 15:31:04 Claimed job
Jun 05 15:31:08 Building HOL
Jun 05 15:31:51 FAILED: building HOL