Job 3006

CakeML:45d0ee623fb5581db697ffa24fd4034794bc5885
  Merge pull request #1248 from halogentlepersuasion/pan_shape_check_patch [Oct 15 08:55:40]
HOL:72e78b28c57844b4327a340dd91c754d063feab8
  Move AVL_tree README into the new AVL_tree directory [Oct 13 23:41:41]
Machine:pavlova

Oct 16 10:07:45 Claimed job
Oct 16 10:07:48 Reusing HOL
Oct 16 10:07:55 Starting developers
Oct 16 10:08:00 Finished developers                                               3s 209MB
Oct 16 10:08:01 Starting developers/bin
Oct 16 10:08:04 Finished developers/bin                                           2s  91MB
Oct 16 10:08:05 Starting misc
Oct 16 10:08:44 Finished misc                                                    38s   1GB
Oct 16 10:08:45 Starting compiler/proofs
Oct 16 10:08:46 FAILED: compiler/proofs
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/balanced_bst
  (Probably a result of bad INCLUDES spec.)