Job 2704

CakeML:0b3fec415c9264f22e15c0f3f3b3fc46b7906aac
  Remove compilationLib, {..}_compileLib and backendComputeLib [Nov 26 22:49:53]
#1097 (remove-compilationlib)
Merging into:6b2039e9c365bca1bb05f521e2c6060d6a901bdb
  Merge pull request #1094 from CakeML/tweak-root-dir [Nov 23 20:15:27]
HOL:2de6b3ccc36da9c19998787a835c3ef9c81466fe
  Add a cute problem to examples/misc [Oct 30 04:33:10]
Machine:lammmington

Nov 27 03:11:40 Claimed job
Nov 27 03:11:43 Reusing HOL
Nov 27 03:11:55 Starting developers
Nov 27 03:11:59 Finished developers                                               3s 181MB
Nov 27 03:12:00 Starting developers/bin
Nov 27 03:12:02 FAILED: developers/bin
Starting work on cake-x64-64.tar.gz
README.md                                                           (0s)     OK
cake-x64-64.tar.gz                                                  (0s)     OK
Starting work on cake.S
cake.S                                                              (0s)FAIL<2>
 
 gzip: stdin: not in gzip format
 tar: Child returned status 1
 tar: Error is not recoverable: exiting now