Job 676

CakeML:d80a3895dec9070653b55eaf21ac7ff513e0051c
  Merge remote-tracking branch 'origin/master' into better-names [Jan 14 07:06:38]
#591 (better-names)
Merging into:901708feeaa4cd0a8263ec24d39144eeb1f6d15d
  Merge pull request #599 from CakeML/lem-readme [Jan 14 09:15:32]
HOL:9884befd7ef626e7a20cde7aedb6f358330d8ba4
  Merge remote-tracking branch 'origin/pr/637' into develop [Jan 11 23:27:51]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jan 14 09:33:49 Claimed job
Jan 14 09:33:56 Building HOL
Jan 14 09:41:37 Starting developers
Jan 14 09:41:38 Finished developers                                               0s  20MB
Jan 14 09:41:39 Starting developers/bin
Jan 14 09:42:14 Finished developers/bin                                          34s 202MB
Jan 14 09:42:15 Starting semantics/ffi
Jan 14 09:42:49 Finished semantics/ffi                                           33s 482MB
Jan 14 09:42:50 Starting semantics
Jan 14 09:44:25 Finished semantics                                             1m33s   1GB
Jan 14 09:44:25 Starting semantics/proofs
Jan 14 09:47:40 Finished semantics/proofs                                      3m13s   1GB
Jan 14 09:47:41 Starting basis/pure
Jan 14 09:51:14 Finished basis/pure                                            3m32s 647MB
Jan 14 09:51:15 Starting translator
Jan 14 09:52:54 Finished translator                                            1m38s   1GB
Jan 14 09:52:55 Starting compiler/parsing
Jan 14 09:53:58 Finished compiler/parsing                                      1m02s   1GB
Jan 14 09:53:59 Starting characteristic
Jan 14 09:57:12 Finished characteristic                                        3m11s   1GB
Jan 14 09:57:13 Starting translator/monadic
Jan 14 09:58:38 Finished translator/monadic                                    1m25s   1GB
Jan 14 09:58:39 Starting basis
Jan 14 10:14:30 Finished basis                                                15m50s   2GB
Jan 14 10:14:31 Starting compiler/inference
Jan 14 10:16:25 Finished compiler/inference                                    1m53s   1GB
Jan 14 10:16:26 Starting compiler/backend/reg_alloc
Jan 14 10:17:17 Finished compiler/backend/reg_alloc                              50s   1GB
Jan 14 10:17:18 Starting compiler/backend/gc
Jan 14 10:26:11 Finished compiler/backend/gc                                   8m52s   2GB
Jan 14 10:26:11 Starting compiler/backend
Jan 14 10:26:14 Finished compiler/backend                                         1s  17MB
Jan 14 10:26:15 Starting compiler/encoders/asm
Jan 14 10:26:16 Finished compiler/encoders/asm                                    0s  17MB
Jan 14 10:26:17 Starting compiler/encoders/x64
Jan 14 10:27:15 Finished compiler/encoders/x64                                   57s 957MB
Jan 14 10:27:16 Starting compiler/encoders/arm6
Jan 14 10:29:04 Finished compiler/encoders/arm6                                1m47s   1GB
Jan 14 10:29:05 Starting compiler/encoders/arm8
Jan 14 10:29:34 Finished compiler/encoders/arm8                                  28s 532MB
Jan 14 10:29:35 Starting compiler/encoders/mips
Jan 14 10:30:39 Finished compiler/encoders/mips                                1m03s   1GB
Jan 14 10:30:40 Starting compiler/encoders/riscv
Jan 14 10:31:47 Finished compiler/encoders/riscv                               1m06s   1GB
Jan 14 10:31:47 Starting compiler/encoders/ag32
Jan 14 10:32:04 Finished compiler/encoders/ag32                                  15s 807MB
Jan 14 10:32:04 Starting compiler/backend/x64
Jan 14 10:32:21 Finished compiler/backend/x64                                    16s 849MB
Jan 14 10:32:22 Starting compiler/backend/arm6
Jan 14 10:32:41 Finished compiler/backend/arm6                                   18s   1GB
Jan 14 10:32:42 Starting compiler/backend/arm8
Jan 14 10:33:00 Finished compiler/backend/arm8                                   17s 936MB
Jan 14 10:33:01 Starting compiler/backend/mips
Jan 14 10:33:18 Finished compiler/backend/mips                                   15s 725MB
Jan 14 10:33:19 Starting compiler/backend/riscv
Jan 14 10:33:37 Finished compiler/backend/riscv                                  17s   1GB
Jan 14 10:33:38 Starting compiler/backend/ag32
Jan 14 10:34:50 Finished compiler/backend/ag32                                 1m10s   1GB
Jan 14 10:34:50 Starting compiler/parsing/proofs
Jan 14 10:40:42 Finished compiler/parsing/proofs                               5m50s   1GB
Jan 14 10:40:43 Starting compiler/inference/proofs
Jan 14 10:43:36 Finished compiler/inference/proofs                             2m52s   1GB
Jan 14 10:43:36 Starting compiler/backend/semantics
Jan 14 10:51:07 Finished compiler/backend/semantics                            7m30s   3GB
Jan 14 10:51:08 Starting compiler/backend/reg_alloc/proofs
Jan 14 10:53:56 Finished compiler/backend/reg_alloc/proofs                     2m47s   1GB
Jan 14 10:53:57 Starting compiler/backend/proofs Jan 14 10:53:57 54s