Overview

Job 1687

CakeML:d064a0d14db09e9f35c32cecf26c59e2ba46820c
  Insert a pointer to source_eval in a comment
#850 (eval)
Merging into:ac6dd83f48ab211455fb85c60d3e20e212dc7b8a
  Remove some primes
HOL:9511d2021f824ef967db312f1d1a41c58dbf7acb
  Fix a proof in face of automatic simp change in affbde85bd8
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Reusing HOL
 Starting developers
 Finished developers                                               4s  74MB
 Starting developers/bin
 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