Job 826

CakeML:0a1d60de5801cc53e17a621e3615279e88e7c790
  Fix backend proofs broken by adding FMA instruction [Apr 30 11:13:42]
#633 (FMA_support)
Merging into:62c51fa831d455390795c47c53f56b050a23f7ad
  Merge pull request #627 from CakeML/monadic-trans-cleanup [Apr 27 07:20:55]
HOL:8e183cc626814e8bfbee46abcbf51798ee1c69b6
  Emacs mode: fix dumb bug in M-h H [Apr 29 06:05:42]
Machine:brain08 4.14.89.1.amd64-smp x86_64 GNU/Linux

Apr 30 11:16:10 Claimed job
Apr 30 11:16:14 Building HOL
Apr 30 11:16:14 FAILED: building HOL