Overview

Job 1617

CakeML:11ce5f9be7a62a7a9d1e8fc232d385c48c16d833
  Hook up decoder to bootstrap translation
#841 (eval)
Merging into:e7a5c005596708fcf02ba333f849a5ae1eefdf8a
  Merge pull request #839 from CakeML/lpr_transform
HOL:f4896684a972fcd114e6710e022950aedefd0366
  Minor typo tweak in documentation for exec_script
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

 Claimed job
 Building HOL
 FAILED: building HOL