Job 2627

CakeML:96d01162e0f3289ba50ca2f18d1c0298bd547958
  Remove remaining mlDefine usage manually [Sep 28 12:36:20]
#1060 (remove-mldefine)
Merging into:283d3066096e12168a754375b0711d33518c5938
  Merge pull request #1056 from CakeML/new-quotes [Sep 29 07:23:28]
HOL:e1640d96f40e98a9d5b7ad0907e652a0e665bcab
  Prove a number of theorems about list$adjacent [Sep 27 00:50:51]
Machine:lammmington

Sep 30 08:50:58 Claimed job
Sep 30 08:51:04 Building HOL
Sep 30 09:05:59 Starting developers
Sep 30 09:06:03 Finished developers                                               2s 215MB
Sep 30 09:06:04 Starting developers/bin
Sep 30 09:06:24 Finished developers/bin                                          19s   1GB
Sep 30 09:06:25 Starting compiler/proofs
Sep 30 10:52:23 Finished compiler/proofs                                    1h45m57s  39GB
Sep 30 10:52:24 Starting compiler/bootstrap/translation Sep 30 10:52:24 32412s