Job 2295

CakeML:b76383b2a589101f171319130980075afdc90158
  Fix data_to_word_assignProof given integer$Num rewrites changes [Jan 30 06:21:36]
HOL:c5f2bc287fa6507cfb3372b4b827105b9633636b
  Other cheatsheet additions: `iff_tac`/`eq_tac` and `ExclSF` [Feb 08 23:51:55]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Feb 09 21:27:45 Claimed job
Feb 09 21:27:49 Building HOL