Job 822

CakeML:4f52c414a947ee02c325243a742e35334d42d847
  Fix typos in comments, replace ARMv6 with ARMv7 [Apr 29 11:14:04]
#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 29 14:42:18 Claimed job
Apr 29 14:42:23 Building HOL
Apr 29 14:42:24 FAILED: building HOL