Job 2629

CakeML:71e1738779516d66d1132622de03a8ec72785a28
  Remove extra _def [Sep 30 09:03:00]
#1061 (remove-tDefine-paren-matching)
Merging into: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:pavlova

Sep 30 10:58:55 Claimed job
Sep 30 10:59:03 Building HOL
Sep 30 11:14:13 Starting developers
Sep 30 11:14:16 Finished developers                                               2s 203MB
Sep 30 11:14:17 Starting developers/bin
Sep 30 11:14:39 Finished developers/bin                                          20s   1GB
Sep 30 11:14:40 Starting compiler/proofs
Sep 30 13:01:24 Finished compiler/proofs                                    1h46m43s  40GB
Sep 30 13:01:25 Starting compiler/bootstrap/translation Sep 30 13:01:25 32412s