CakeML Regression Test

Job 3610

CakeML:ae6cffb83ac8578d59f0c2627f967f30a80f4efe
  Make installed take bitmaps/data as num list [Oct 14 00:59:09]
#1540 (data_to_word_num)
Merging into:f73189499bb295f0859dec7ee38c169c48da682c
  Merge pull request #1539 from CakeML/names-via-metadata [Oct 12 11:47:28]
HOL:652d1f0aad5cd537ed1e5d470ba3444e70ba470e
  Merge remote-tracking branch 'origin/master' into develop [Sep 27 02:14:15]
Machine:fairybread

Oct 14 01:21:00 Claimed job
Oct 14 01:21:05 Reusing HOL
Oct 14 01:21:14 Starting developers
Oct 14 01:22:12 Finished developers                                              56s   1GB
Oct 14 01:22:13 Starting developers/bin
Oct 14 01:22:23 Finished developers/bin                                           8s   1GB
Oct 14 01:22:24 Starting misc
Oct 14 01:23:10 Finished misc                                                    45s   1GB
Oct 14 01:23:11 Starting compiler/proofs
Oct 14 02:43:24 Finished compiler/proofs                                    1h20m12s   9GB
Oct 14 02:43:25 Starting compiler/bootstrap/compilation/x64/64/proofs Oct 14 02:43:25 24793s