Overview

Job 678

CakeML:243c4289330aefdaee046c9a9b1b50f1159362f9
  Fix source_to_flatProof for new constructor names
#591 (better-names)
Merging into:901708feeaa4cd0a8263ec24d39144eeb1f6d15d
  Merge pull request #599 from CakeML/lem-readme
HOL:9884befd7ef626e7a20cde7aedb6f358330d8ba4
  Merge remote-tracking branch 'origin/pr/637' into develop
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

 Claimed job
 Reusing HOL
 Starting developers
 Finished developers                                               0s  31MB
 Starting developers/bin
 Finished developers/bin                                          32s 140MB
 Starting semantics/ffi
 Finished semantics/ffi                                            7s 219MB
 Starting semantics
 Finished semantics                                             1m20s   1GB
 Starting semantics/proofs
 Finished semantics/proofs                                      3m15s   1GB
 Starting basis/pure
 Finished basis/pure                                              49s 936MB
 Starting translator
 Finished translator                                            1m40s   1GB
 Starting compiler/parsing
 Finished compiler/parsing                                      1m03s   1GB
 Starting characteristic
 Finished characteristic                                        3m12s   1GB
 Starting translator/monadic
 Finished translator/monadic                                    1m26s   1GB
 Starting basis
 Finished basis                                                15m46s   2GB
 Starting compiler/inference
 Finished compiler/inference                                    1m37s   1GB
 Starting compiler/backend/reg_alloc
 Finished compiler/backend/reg_alloc                              50s   1GB
 Starting compiler/backend/gc