Job 2707

CakeML:092087e80b2b94d37aad718450254fb4b23c3516
  update for HOL changes [Nov 23 20:26:03]
#1096 (update_hol)
Merging into:6b2039e9c365bca1bb05f521e2c6060d6a901bdb
  Merge pull request #1094 from CakeML/tweak-root-dir [Nov 23 20:15:27]
HOL:01016dcf0e02558d270fce008fce672df8cdbbf7
  Fix (last few(?)) compile-time errors caused by located_thms [Nov 27 07:49:23]
Machine:pavlova

Nov 27 12:05:34 Claimed job
Nov 27 12:05:37 Reusing HOL
Nov 27 12:05:48 Starting developers
Nov 27 12:05:52 Finished developers                                               3s 192MB
Nov 27 12:05:52 Starting developers/bin
Nov 27 12:05:54 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