CakeML:6ddaf6f8d86d8d5f57f0bcfc8fdd78f855e3daae
Make it clearer that HOL master should be used
HOL:927277205acf69a2b54b46ff3c7bd4c3294187a7
Update hash for change fixing while problems in armv8.6-asl-snapshot
Machine:timtam
Claimed job
Reusing HOL
Starting developers
Finished developers 3s 200MB
Starting developers/bin
Finished developers/bin 2s 89MB
Starting misc
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.)