Job 1361

CakeML:411c80da717a8e99b5a8e7f6519e95637ecb7225
  Merge pull request #752 from sorear/rv_fixes [Sep 24 08:22:45]
HOL:841cced433cd0e9e4913c6e9c05c9b7542e38a6b
  Handle change to Slavonic asterisk (25dec53e17) in Manual production [Sep 23 11:12:05]
Machine:oven3s 5.7.19 x86_64 GNU/Linux

Sep 24 08:41:49 Claimed job
Sep 24 08:41:53 Building HOL
Sep 24 08:55:44 Starting developers
Sep 24 08:55:46 Finished developers                                               1s 160MB
Sep 24 08:55:47 Starting developers/bin
Sep 24 08:55:55 Finished developers/bin                                           8s   1GB
Sep 24 08:55:56 Starting semantics/ffi
Sep 24 08:56:05 Finished semantics/ffi                                            8s   2GB
Sep 24 08:56:05 Starting semantics
Sep 24 08:57:39 Finished semantics                                             1m33s   4GB
Sep 24 08:57:39 Starting semantics/proofs
Sep 24 09:01:24 Finished semantics/proofs                                      3m44s   4GB
Sep 24 09:01:25 Starting semantics/alt_semantics
Sep 24 09:01:34 Finished semantics/alt_semantics                                  9s   4GB
Sep 24 09:01:35 Starting semantics/alt_semantics/proofs
Sep 24 09:03:51 Finished semantics/alt_semantics/proofs                        2m16s   4GB
Sep 24 09:03:52 Starting basis/pure
Sep 24 09:06:41 Finished basis/pure                                            2m48s   4GB
Sep 24 09:06:41 Starting translator
Sep 24 09:09:21 Finished translator                                            2m39s   8GB
Sep 24 09:09:22 Starting compiler/parsing
Sep 24 09:10:25 Finished compiler/parsing                                      1m02s   6GB
Sep 24 09:10:25 Starting characteristic
Sep 24 09:16:08 Finished characteristic                                        5m42s   5GB
Sep 24 09:16:08 Starting translator/monadic
Sep 24 09:17:33 Finished translator/monadic                                    1m25s   4GB
Sep 24 09:17:34 Starting basis
Sep 24 09:49:35 Finished basis                                                32m00s  40GB
Sep 24 09:49:35 Starting compiler/inference
Sep 24 09:50:39 Finished compiler/inference                                    1m03s   4GB
Sep 24 09:50:39 Starting compiler/backend/reg_alloc
Sep 24 09:51:29 Finished compiler/backend/reg_alloc                              48s   4GB
Sep 24 09:51:29 Starting compiler/backend/gc
Sep 24 09:54:27 Finished compiler/backend/gc                                   2m57s   6GB
Sep 24 09:54:28 Starting compiler/backend
Sep 24 09:58:37 Finished compiler/backend                                      4m09s   7GB
Sep 24 09:58:38 Starting compiler/encoders/asm
Sep 24 09:58:58 Finished compiler/encoders/asm                                   19s   4GB
Sep 24 09:58:58 Starting compiler/encoders/x64
Sep 24 09:59:53 Finished compiler/encoders/x64                                   54s   4GB
Sep 24 09:59:53 Starting compiler/encoders/arm7
Sep 24 10:01:46 Finished compiler/encoders/arm7                                1m52s   4GB
Sep 24 10:01:46 Starting compiler/encoders/arm8
Sep 24 10:02:21 Finished compiler/encoders/arm8                                  34s   4GB
Sep 24 10:02:21 Starting compiler/encoders/mips
Sep 24 10:03:39 Finished compiler/encoders/mips                                1m17s   4GB
Sep 24 10:03:39 Starting compiler/encoders/riscv
Sep 24 10:05:03 Finished compiler/encoders/riscv                               1m23s   4GB
Sep 24 10:05:03 Starting compiler/encoders/ag32
Sep 24 10:05:19 Finished compiler/encoders/ag32                                  15s   4GB
Sep 24 10:05:19 Starting compiler/backend/x64
Sep 24 10:05:37 Finished compiler/backend/x64                                    17s   4GB
Sep 24 10:05:37 Starting compiler/backend/arm7
Sep 24 10:05:53 Finished compiler/backend/arm7                                   15s   4GB
Sep 24 10:05:53 Starting compiler/backend/arm8
Sep 24 10:06:11 Finished compiler/backend/arm8                                   17s   4GB
Sep 24 10:06:11 Starting compiler/backend/mips
Sep 24 10:06:29 Finished compiler/backend/mips                                   17s   4GB
Sep 24 10:06:30 Starting compiler/backend/riscv
Sep 24 10:06:48 Finished compiler/backend/riscv                                  18s   4GB
Sep 24 10:06:48 Starting compiler/backend/ag32
Sep 24 10:07:51 Finished compiler/backend/ag32                                 1m02s   4GB
Sep 24 10:07:51 Starting compiler/parsing/proofs
Sep 24 10:12:37 Finished compiler/parsing/proofs                               4m45s   4GB
Sep 24 10:12:37 Starting compiler/inference/proofs
Sep 24 10:14:49 Finished compiler/inference/proofs                             2m11s   4GB
Sep 24 10:14:49 Starting compiler/backend/semantics
Sep 24 10:37:40 Finished compiler/backend/semantics                           22m50s   8GB
Sep 24 10:37:40 Starting compiler/backend/reg_alloc/proofs
Sep 24 10:40:38 Finished compiler/backend/reg_alloc/proofs                     2m57s   6GB
Sep 24 10:40:39 Starting compiler/backend/proofs
Sep 24 11:26:42 Finished compiler/backend/proofs                              46m02s  30GB
Sep 24 11:26:42 Starting compiler/encoders/x64/proofs
Sep 24 11:35:45 Finished compiler/encoders/x64/proofs                          9m02s  10GB
Sep 24 11:35:45 Starting compiler/encoders/arm7/proofs
Sep 24 11:48:06 Finished compiler/encoders/arm7/proofs                        12m20s   8GB
Sep 24 11:48:07 Starting compiler/encoders/arm8/proofs
Sep 24 11:54:08 Finished compiler/encoders/arm8/proofs                         6m01s   5GB
Sep 24 11:54:09 Starting compiler/encoders/mips/proofs
Sep 24 12:03:57 Finished compiler/encoders/mips/proofs                         9m47s   7GB
Sep 24 12:03:57 Starting compiler/encoders/riscv/proofs
Sep 24 12:11:49 Finished compiler/encoders/riscv/proofs                        7m51s   8GB
Sep 24 12:11:50 Starting compiler/encoders/ag32/proofs Sep 24 12:11:50 176s