Overview

Job 670

CakeML:9434aff09ca088bf522d189396f236388c2ee215
  Merge 'origin/master' into stats-bootstrap
#596 (stats-bootstrap)
Merging into:b19ca63f5f4b645ed5c3cc20d17301531d25408d
  Merge pull request #597 from CakeML/lem-194778e
HOL:06eff940b2821c70b8c73368b6d1218f2c4d53b6
  minor
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

 Claimed job
 Reusing HOL
 Starting developers
 Finished developers                                               0s  20MB
 Starting developers/bin
 Finished developers/bin                                          29s 140MB
 Starting semantics/ffi
 Finished semantics/ffi                                            7s 224MB
 Starting semantics
 Finished semantics                                             1m21s   1GB
 Starting semantics/proofs
 Finished semantics/proofs                                      3m19s   1GB
 Starting basis/pure
 Finished basis/pure                                              51s 837MB
 Starting translator
 Finished translator                                            2m10s   1GB
 Starting compiler/parsing
 Finished compiler/parsing                                      1m04s   1GB
 Starting characteristic
 Finished characteristic                                        3m15s   1GB
 Starting translator/monadic
 Finished translator/monadic                                    1m26s   1GB
 Starting basis
 Finished basis                                                20m13s   5GB
 Starting compiler/inference
 Finished compiler/inference                                    1m45s   1GB
 Starting compiler/backend/reg_alloc
 Finished compiler/backend/reg_alloc                              54s   1GB
 Starting compiler/backend/gc
 Finished compiler/backend/gc                                   9m10s   1GB
 Starting compiler/backend
 Finished compiler/backend                                         1s  16MB
 Starting compiler/encoders/asm
 Finished compiler/encoders/asm                                    0s  17MB
 Starting compiler/encoders/x64
 Finished compiler/encoders/x64                                   28s 613MB
 Starting compiler/encoders/arm6
 Finished compiler/encoders/arm6                                  52s 968MB
 Starting compiler/encoders/arm8
 Finished compiler/encoders/arm8                                  12s 779MB
 Starting compiler/encoders/mips
 Finished compiler/encoders/mips                                  16s   1GB
 Starting compiler/encoders/riscv
 Finished compiler/encoders/riscv                                 14s 959MB
 Starting compiler/encoders/ag32
 Finished compiler/encoders/ag32                                  16s 796MB
 Starting compiler/backend/x64
 Finished compiler/backend/x64                                    16s 824MB
 Starting compiler/backend/arm6
 Finished compiler/backend/arm6                                   19s   1GB
 Starting compiler/backend/arm8
 Finished compiler/backend/arm8                                   17s 827MB
 Starting compiler/backend/mips
 Finished compiler/backend/mips                                   18s 956MB
 Starting compiler/backend/riscv
 Finished compiler/backend/riscv                                  18s   1GB
 Starting compiler/backend/ag32
 Finished compiler/backend/ag32                                 1m16s   1GB
 Starting compiler/bootstrap/translation