CakeML Regression Test

Job 2994

CakeML:5ebcbbd38048eaad252f0bb95e29dd0c44b4c7f9
  Update types.txt with new entry-points in DoubleProg [Sep 22 02:29:12]
#1244 (moreDoubleAPI)
Merging into:6ddaf6f8d86d8d5f57f0bcfc8fdd78f855e3daae
  Make it clearer that HOL master should be used [Sep 29 10:18:48]
HOL:927277205acf69a2b54b46ff3c7bd4c3294187a7
  Update hash for change fixing while problems in armv8.6-asl-snapshot [Oct 02 13:17:32]
Machine:timtam

Oct 02 17:39:02 Claimed job
Oct 02 17:39:07 Building HOL
Oct 02 17:50:14 Starting developers
Oct 02 17:50:19 Finished developers                                               3s 127MB
Oct 02 17:50:20 Starting developers/bin
Oct 02 17:50:24 Finished developers/bin                                           2s  89MB
Oct 02 17:50:24 Starting misc
Oct 02 17:50:26 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
Holmake: Attempt to recurse into non-existent directory: $(HOLDIR)/examples/fun-op-sem/lprefix_lub
  (Probably a result of bad INCLUDES spec.)