Job 900

CakeML:a957cf68ec2d3736389168a91e5659520544a14c
  Merge pull request #655 from CakeML/candle-rename [May 25 06:49:00]
HOL:08cf0f71293ee2ed21e3c2667ecbb0a9d211be18
  Add regression tests for find_consts [May 24 06:22:28]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

May 25 07:00:17 Claimed job
May 25 07:00:20 Reusing HOL