Job 310

CakeML:dace3f57c7e04cd9a196a305ab2836e9e6bd070a
  Fix bvl_const translation [May 02 08:54:51]
HOL:3edf2416b470df49b3928c6cc54c54e71e6c5c60
  Make early Description text more Unicode aware [May 02 07:14:03]
Machine:ca60c42b58eb 4.14.16-200.fc26.x86_64 x86_64 GNU/Linux

May 02 11:34:45 Claimed job
May 02 11:34:53 Building HOL
May 02 11:41:51 Starting developers/bin
May 02 11:41:51 FAILED: developers/bin
cake-x64-64.tar.gz                                                 FAILED! <7F>
 /bin/sh: wget: command not found