Overview

Job 406

CakeML:1b5f8be3242a8a1d13d1289f21c06650fb5eb463
  Update translator for new length check
HOL:8a08db2774a674929be0790353c5d303f44984ff
  Report problems with simple definitions better
Machine:cakeml1796 4.4.0-22-generic x86_64 GNU/Linux

 Claimed job
 Building HOL
 FAILED: building HOL