Job 901

CakeML:a2cd3fb5afd66702e7ef35a122e030553c69af73
  Fix a reference to word_bit_test [May 24 17:05:30]
#653 (cleanup)
Merging into: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 15:15:11 Claimed job