Job 2340

CakeML:b02d95b14873936e6d732fee597690e70731d490
  Streamline inference cv translation [Mar 14 10:45:29]
#985 (cvunify)
Merging into:98d0d03c9e52b27a9895186563d385583deb75a2
  Merge pull request #984 from CakeML/compression [Mar 10 14:36:06]
HOL:3a51c81db857b7722efa0871ac507883adf6d440
  Remove compilerTheory (put its content at end of codegenTheory) [Mar 11 19:26:17]
Machine:pavlova

Mar 14 12:21:07 Claimed job