Overview

Job 2759

CakeML:f86557b251a98fdb9e2359cf56828e04df6ca34d
  Merge pull request #1038 from CakeML/ssa_fix
HOL:1feeec007109c470c888c0f26819f864fdc38e28
  Merge pull request #1368 from HOL-Theorem-Prover/keccak
Machine:lammmington

 Claimed job
 Building HOL
 Starting developers
 Finished developers                                               3s 208MB
 Starting developers/bin
 Finished developers/bin                                           4s 746MB
 Starting misc
 Finished misc                                                  1m00s   2GB
 Starting compiler/proofs
 Finished compiler/proofs                                    1h41m17s  46GB
 Starting compiler/bootstrap/translation