Overview

Job 1606

CakeML:11ce5f9be7a62a7a9d1e8fc232d385c48c16d833
  Hook up decoder to bootstrap translation
#841 (eval)
Merging into:e7a5c005596708fcf02ba333f849a5ae1eefdf8a
  Merge pull request #839 from CakeML/lpr_transform
HOL:43aa237e8455efb9393a75bcbf2c720d7e5d39dc
  Restore flat sum/pair sizes in TotalDefn.guessR
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

 Claimed job
 Building HOL