Job 2630

CakeML:71062c56b1c6d15ebf1ca8ee13ee72b8d76a91c5
  Merge pull request #1060 from CakeML/remove-mldefine [Sep 30 10:40:17]
HOL:e1640d96f40e98a9d5b7ad0907e652a0e665bcab
  Prove a number of theorems about list$adjacent [Sep 27 00:50:51]
Machine:lammmington

Sep 30 14:22:19 Claimed job
Sep 30 14:22:23 Reusing HOL
Sep 30 14:22:35 Starting developers
Sep 30 14:22:39 Finished developers                                               3s 235MB
Sep 30 14:22:40 Starting developers/bin
Sep 30 14:23:01 Finished developers/bin                                          19s   1GB
Sep 30 14:23:02 Starting compiler/proofs
Sep 30 16:06:32 Finished compiler/proofs                                    1h43m29s  32GB
Sep 30 16:06:33 Starting compiler/bootstrap/translation Sep 30 16:06:33 32412s