Job 3155

CakeML:1eed9d721e3cb489957adc436c06b474814ab9ea
  Fix value restriction violation caused by pp_of_ast_t [Jan 24 05:44:10]
#1316 (fix-pp_of_ast_t)
Merging into:77cbb88a69527fe7eb542f5aa746cc11f57b21e4
  Remove some unnecessary proof obligations from CF  (#1310) [Jan 17 04:54:16]
HOL:4bbb1ec36b9701b9273024276cb31821e6043f6b
  Merge pull request #1791 from HOL-Theorem-Prover/ty_sub_change [Jan 22 07:06:22]
Machine:pavlova

Jan 26 13:14:02 Claimed job
Jan 26 13:14:05 Reusing HOL
Jan 26 13:14:13 Starting developers
Jan 26 13:14:19 Finished developers                                               4s 212MB
Jan 26 13:14:19 Starting developers/bin
Jan 26 13:14:23 Finished developers/bin                                           2s  91MB
Jan 26 13:14:24 Starting misc
Jan 26 13:14:57 FAILED: misc
Scanning $(HOLDIR)/src/bag
Scanning $(HOLDIR)/src/sort
Scanning $(HOLDIR)/src/string
Scanning $(HOLDIR)/src/n-bit
Scanning $(HOLDIR)/src/res_quan/src
Scanning $(HOLDIR)/src/finite_maps
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(HOLDIR)/src/transfer
Scanning $(HOLDIR)/src/pred_set/src/more_theories
Scanning $(HOLDIR)/src/coalgebras
Scanning $(HOLDIR)/examples/pl-semantics/lprefix_lub
Scanning $(CAKEMLDIR)/developers
Scanned 15 directories
Starting work on README.md
Starting work on miscTheory
README.md                                                           (0s)     OK
miscTheory                                                         (27s)     OK
Starting work on cakeml-heap
cakeml-heap                                                         (0s)FAIL<7F>
 /bin/sh: 1: /scratch/cakeml/regression/HOL-4bbb1ec36b9701b9273024276cb31821e6043f6b/bin/buildheap: not found
 Full log: /scratch/cakeml/regression/cakeml-3155/misc/.hol/logs/cakeml-heap