Job 3373

CakeML:f56a9dabae658b10a25796fcc993a1181962b7ca
  Merge pull request #1404 from CakeML/build-flover [Jun 05 16:00:31]
HOL:9d7499d9bd45579524e6a8bb982571208b67a905
  Fix mosml build of Holmake (must compile fspathTrie) [Jun 05 08:25:32]
Machine:pavlova

Jun 05 16:36:20 Claimed job
Jun 05 16:36:25 Building HOL
Jun 05 16:37:10 FAILED: building HOL