Job 2967

CakeML:5204d423c1b89d92a970f41f52da476d6cfb1e47
  Merge pull request #1228 from CakeML/docs [Sep 05 16:00:31]
HOL:dcf84a0556f94db0ad53525e5ad0aacb09549819
  Remove a stray mention of "Kananaskis" from top-level README.md [Aug 27 00:08:41]
Machine:pavlova

Sep 11 12:35:18 Claimed job
Sep 11 12:35:23 Reusing HOL
Sep 11 12:35:29 Starting developers
Sep 11 12:35:33 Finished developers                                               3s 208MB
Sep 11 12:35:34 Starting developers/bin
Sep 11 12:35:38 Finished developers/bin                                           3s  89MB
Sep 11 12:35:39 Starting misc
Sep 11 12:36:19 Finished misc                                                    39s   1GB
Sep 11 12:36:20 Starting compiler/proofs
Sep 11 13:50:38 Finished compiler/proofs                                    1h14m16s  36GB
Sep 11 13:50:39 Starting compiler/bootstrap/compilation/x64/64/proofs Sep 11 13:50:39 10106s