Job 943

CakeML:7fd70910f8d379bf4ebecddca50b24450bf1bb16
  Merge pull request #668 from CakeML/trans-char-list [Jul 18 13:59:56]
HOL:3ae700fc0494acf60e4fa3a4cb36fe4931b08532
  bug fixed + new tools [Jul 11 12:28:56]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jul 18 14:04:33 Claimed job
Jul 18 14:04:36 Reusing HOL
Jul 18 14:04:42 Starting developers
Jul 18 14:04:43 Finished developers                                               0s  20MB
Jul 18 14:04:43 Starting developers/bin
Jul 18 14:04:44 FAILED: developers/bin
cake-x64-64.tar.gz                                                                                         OK
Starting work on cake.S
cake.S                                                                                            FAILED! <2>
 
 gzip: stdin: not in gzip format
 tar: Child returned status 1
 tar: Error is not recoverable: exiting now