Job 2759

CakeML:f86557b251a98fdb9e2359cf56828e04df6ca34d
  Merge pull request #1038 from CakeML/ssa_fix [Dec 21 01:43:26]
HOL:1feeec007109c470c888c0f26819f864fdc38e28
  Merge pull request #1368 from HOL-Theorem-Prover/keccak [Dec 19 08:31:44]
Machine:lammmington

Dec 21 17:02:38 Claimed job
Dec 21 17:02:43 Building HOL
Dec 21 17:13:45 Starting developers
Dec 21 17:13:49 Finished developers                                               3s 208MB
Dec 21 17:13:50 Starting developers/bin
Dec 21 17:13:56 Finished developers/bin                                           4s 746MB
Dec 21 17:13:57 Starting misc
Dec 21 17:14:58 Finished misc                                                  1m00s   2GB
Dec 21 17:14:59 Starting compiler/proofs
Dec 21 18:56:18 Finished compiler/proofs                                    1h41m17s  46GB
Dec 21 18:56:18 Starting compiler/bootstrap/translation Dec 21 18:56:18 28138s