Job 3588

CakeML:f8da03aeecd4d58a35bb88286780ff7e7e4ca7d6
  Merge pull request #1508 from CakeML/source-dce [Oct 07 07:48:42]
HOL:652d1f0aad5cd537ed1e5d470ba3444e70ba470e
  Merge remote-tracking branch 'origin/master' into develop [Sep 27 02:14:15]
Machine:lammmington

Oct 07 07:53:41 Claimed job
Oct 07 07:53:49 Reusing HOL
Oct 07 07:53:58 Starting developers
Oct 07 07:54:54 Finished developers                                              54s   1GB
Oct 07 07:54:55 Starting developers/bin
Oct 07 07:55:06 Finished developers/bin                                           9s   1GB
Oct 07 07:55:07 Starting misc
Oct 07 07:55:53 Finished misc                                                    45s   1GB
Oct 07 07:55:54 Starting compiler/proofs
Oct 07 09:16:03 Finished compiler/proofs                                    1h20m07s  10GB
Oct 07 09:16:04 Starting compiler/bootstrap/compilation/x64/64/proofs Oct 07 09:16:04 24793s