Job 1407

CakeML:3157c56dfe1eab23ef37b3cefb8fca2cced396c5
  Merge pull request #804 from CakeML/currheap [Nov 17 07:22:18]
HOL:77016ef7b01f987f1f684e825ac1d79feb8d454a
  emacs-mode: fix bug in previous caused by variable masking [Nov 27 05:03:03]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Dec 01 15:06:02 Claimed job
Dec 01 15:06:06 Reusing HOL