Job 3171

CakeML:fcc914fe9a6691bdadbc32de3ab647735853c86e
  Speed up xlet_auto DB lookup by shortcircuiting. (#1317) [Jan 28 15:52:45]
HOL:cecdc472a105cb39dc35d0328269656cf51f0fa9
  Fix provided by @tanyongkiam [Jan 26 14:58:05]
Machine:lammmington

Jan 28 17:18:43 Claimed job
Jan 28 17:18:47 Reusing HOL
Jan 28 17:18:55 Starting developers
Jan 28 17:19:00 Finished developers                                               4s 166MB
Jan 28 17:19:01 Starting developers/bin
Jan 28 17:19:06 Finished developers/bin                                           3s  91MB
Jan 28 17:19:07 Starting misc
Jan 28 17:19:38 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                                                         (26s)     OK
Starting work on cakeml-heap
cakeml-heap                                                         (0s)FAIL<7F>
 /bin/sh: 1: /scratch/cakeml/regression3/HOL-cecdc472a105cb39dc35d0328269656cf51f0fa9/bin/buildheap: not found
 Full log: /scratch/cakeml/regression3/cakeml-3171/misc/.hol/logs/cakeml-heap