Job 1687

CakeML:d064a0d14db09e9f35c32cecf26c59e2ba46820c
  Insert a pointer to source_eval in a comment [Dec 17 13:05:23]
#850 (eval)
Merging into:ac6dd83f48ab211455fb85c60d3e20e212dc7b8a
  Remove some primes [Dec 12 21:27:55]
HOL:9511d2021f824ef967db312f1d1a41c58dbf7acb
  Fix a proof in face of automatic simp change in affbde85bd8 [Dec 16 05:35:31]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Dec 17 14:40:03 Claimed job
Dec 17 14:40:09 Reusing HOL
Dec 17 14:40:47 Starting developers
Dec 17 14:40:52 Finished developers                                               4s  74MB
Dec 17 14:40:52 Starting developers/bin
Dec 17 14:40:53 FAILED: developers/bin
Starting work on cake-x64-64.tar.gz
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
README.md                                                           (0s)MKILLED