Overview

Job 521

CakeML:8e5a2013a01cc578a4c34fd71f7f326f885eb6a6
  Merge remote-tracking branch 'origin/remove-cheats' into assign-reorg
#534 (assign-reorg)
Merging into:675c1da06454efcef70f62574de96a524820287f
  Merge pull request #532 from CakeML/trans-msg
HOL:ab9ca666185d56750fb65d2a0da0ded2bb18d96d
  Give build an --mt flag as well; it's passed on to Holmake
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

 Claimed job
 Building HOL
 Starting developers/bin
 Finished developers/bin                                          32s 137MB
 Starting semantics/ffi
 Finished semantics/ffi                                           34s 398MB
 Starting semantics
 Finished semantics                                             1m21s 867MB
 Starting semantics/proofs
 Finished semantics/proofs                                      2m39s   1GB
 Starting basis/pure
 Finished basis/pure                                            3m54s 631MB
 Starting translator
 Finished translator                                            3m09s   1GB
 Starting compiler/parsing
 Finished compiler/parsing                                      1m27s   1GB
 Starting characteristic
 Finished characteristic                                        2m26s   1GB
 Starting translator/monadic
 Finished translator/monadic                                    1m27s   1GB
 Starting basis
 Finished basis                                                18m15s   2GB
 Starting compiler/inference
 Finished compiler/inference                                    2m02s   1GB
 Starting compiler/backend/reg_alloc
 Finished compiler/backend/reg_alloc                              53s   1GB
 Starting compiler/backend/gc
 Finished compiler/backend/gc                                   8m05s   1GB
 Starting compiler/backend
 Finished compiler/backend                                         2s  20MB
 Starting compiler/encoders/asm
 Finished compiler/encoders/asm                                    0s  12MB
 Starting compiler/encoders/x64
 Finished compiler/encoders/x64                                 1m01s 572MB
 Starting compiler/encoders/arm6
 Finished compiler/encoders/arm6                                2m12s   1GB
 Starting compiler/encoders/arm8
 Finished compiler/encoders/arm8                                  31s 448MB
 Starting compiler/encoders/mips
 Finished compiler/encoders/mips                                1m15s 830MB
 Starting compiler/encoders/riscv
 Finished compiler/encoders/riscv                               1m18s 994MB
 Starting compiler/backend/x64
 Finished compiler/backend/x64                                    20s 900MB
 Starting compiler/backend/arm6
 Finished compiler/backend/arm6                                   24s   1GB
 Starting compiler/backend/arm8
 Finished compiler/backend/arm8                                   24s   1GB
 Starting compiler/backend/mips
 Finished compiler/backend/mips                                   23s 954MB
 Starting compiler/backend/riscv
 Finished compiler/backend/riscv                                  24s   1GB
 Starting compiler/parsing/proofs
 Finished compiler/parsing/proofs                               7m27s 836MB
 Starting compiler/inference/proofs
 Finished compiler/inference/proofs                             3m55s   1GB
 Starting compiler/backend/semantics
 Finished compiler/backend/semantics                           11m30s   2GB
 Starting compiler/backend/reg_alloc/proofs
 Finished compiler/backend/reg_alloc/proofs                     7m23s 518MB
 Starting compiler/backend/proofs