Job 2406

CakeML:62dfe6cf0bcc8f27d193890548ef65873de72600
  Add arm8 bootstrap [Jun 02 23:29:18]
#991 (master)
Merging into:2cb1581ec5c9e678e03aee44f8c3658edc4d4f5d
  Merge pull request #996 from CakeML/pan_shstore [Jun 05 08:46:56]
HOL:a1037385a92acdb9b8bb1f0c243fe6f1f6120eaf
  Fix examples/vector given changes in 562bb668f092d [Jun 03 00:48:36]
Machine:lammmington

Jun 06 13:26:18 Claimed job
Jun 06 13:26:23 Reusing HOL
Jun 06 13:26:33 Starting developers
Jun 06 13:26:37 Finished developers                                               2s 214MB
Jun 06 13:26:38 Starting developers/bin
Jun 06 13:26:53 Finished developers/bin                                          14s   1GB
Jun 06 13:26:54 Starting compiler/proofs
Jun 06 15:18:19 Finished compiler/proofs                                    1h51m23s  27GB
Jun 06 15:18:20 Starting compiler/bootstrap/translation Jun 06 15:18:20 32417s