Job 1133

CakeML:07bca965721baed53cea03de48b0e523ff1af007
  Merge pull request #711 from CakeML/refs-unchanged [Dec 22 21:35:58]
HOL:76d78d3b69ca8b114cb7d8ebf345c8ac28d0f83f
  Provide plausible default (not []) for POLY_LDFLAGS on all platforms [Jan 03 23:23:48]
Machine:oven3 4.19.67.1.amd64-smp
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jan 06 10:28:35 Claimed job
Jan 06 10:28:44 Building HOL
Jan 06 10:51:51 Starting developers
Jan 06 10:51:59 Finished developers                                               6s 113MB
Jan 06 10:51:59 Starting developers/bin
Jan 06 10:52:13 Finished developers/bin                                          13s 965MB
Jan 06 10:52:13 Starting semantics/ffi
Jan 06 10:52:36 Finished semantics/ffi                                           22s 233MB
Jan 06 10:52:36 Starting semantics
Jan 06 10:55:38 Finished semantics                                             3m01s   1GB
Jan 06 10:55:38 Starting semantics/proofs
Jan 06 11:02:22 Finished semantics/proofs                                      6m43s   1GB
Jan 06 11:02:23 Starting semantics/alt_semantics
Jan 06 11:02:41 Finished semantics/alt_semantics                                 17s 293MB
Jan 06 11:02:41 Starting semantics/alt_semantics/proofs
Jan 06 11:06:58 Finished semantics/alt_semantics/proofs                        4m16s 871MB
Jan 06 11:06:58 Starting basis/pure
Jan 06 11:12:56 Finished basis/pure                                            5m58s 698MB
Jan 06 11:12:57 Starting translator
Jan 06 11:18:07 Finished translator                                            5m10s   1GB
Jan 06 11:18:08 Starting compiler/parsing
Jan 06 11:20:29 Finished compiler/parsing                                      2m21s   2GB
Jan 06 11:20:29 Starting characteristic
Jan 06 11:32:09 Finished characteristic                                       11m39s   1GB
Jan 06 11:32:09 Starting translator/monadic
Jan 06 11:35:21 Finished translator/monadic                                    3m11s   1GB
Jan 06 11:35:21 Starting basis
Jan 06 12:43:42 Finished basis                                              1h08m20s  12GB
Jan 06 12:43:42 Starting compiler/inference
Jan 06 12:47:39 Finished compiler/inference                                    3m57s   1GB
Jan 06 12:47:40 Starting compiler/backend/reg_alloc
Jan 06 12:49:30 Finished compiler/backend/reg_alloc                            1m50s   1GB
Jan 06 12:49:30 Starting compiler/backend/gc
Jan 06 12:55:58 Finished compiler/backend/gc                                   6m27s   1GB
Jan 06 12:55:59 Starting compiler/backend
Jan 06 13:03:13 Finished compiler/backend                                      7m14s   2GB
Jan 06 13:03:13 Starting compiler/encoders/asm
Jan 06 13:04:01 Finished compiler/encoders/asm                                   47s 624MB
Jan 06 13:04:01 Starting compiler/encoders/x64
Jan 06 13:06:04 Finished compiler/encoders/x64                                 2m02s 901MB
Jan 06 13:06:04 Starting compiler/encoders/arm7
Jan 06 13:09:48 Finished compiler/encoders/arm7                                3m43s   1GB
Jan 06 13:09:48 Starting compiler/encoders/arm8
Jan 06 13:11:01 Finished compiler/encoders/arm8                                1m12s 543MB
Jan 06 13:11:01 Starting compiler/encoders/mips
Jan 06 13:13:39 Finished compiler/encoders/mips                                2m37s   1GB
Jan 06 13:13:39 Starting compiler/encoders/riscv
Jan 06 13:16:41 Finished compiler/encoders/riscv                               3m01s 949MB
Jan 06 13:16:41 Starting compiler/encoders/ag32
Jan 06 13:17:19 Finished compiler/encoders/ag32                                  37s 782MB
Jan 06 13:17:19 Starting compiler/backend/x64
Jan 06 13:17:56 Finished compiler/backend/x64                                    37s   1GB
Jan 06 13:17:57 Starting compiler/backend/arm7
Jan 06 13:18:36 Finished compiler/backend/arm7                                   39s   1GB
Jan 06 13:18:36 Starting compiler/backend/arm8
Jan 06 13:19:14 Finished compiler/backend/arm8                                   37s   1GB
Jan 06 13:19:14 Starting compiler/backend/mips
Jan 06 13:19:52 Finished compiler/backend/mips                                   37s   1GB
Jan 06 13:19:52 Starting compiler/backend/riscv
Jan 06 13:20:30 Finished compiler/backend/riscv                                  37s   1GB
Jan 06 13:20:30 Starting compiler/backend/ag32
Jan 06 13:22:50 Finished compiler/backend/ag32                                 2m20s 926MB
Jan 06 13:22:51 Starting compiler/parsing/proofs
Jan 06 13:35:21 Finished compiler/parsing/proofs                              12m29s   1GB
Jan 06 13:35:21 Starting compiler/inference/proofs
Jan 06 13:41:33 Finished compiler/inference/proofs                             6m11s   1GB
Jan 06 13:41:33 Starting compiler/backend/semantics
Jan 06 14:37:48 Finished compiler/backend/semantics                           56m14s   1GB
Jan 06 14:37:48 Starting compiler/backend/reg_alloc/proofs
Jan 06 14:45:06 Finished compiler/backend/reg_alloc/proofs                     7m17s 822MB
Jan 06 14:45:06 Starting compiler/backend/proofs
Jan 06 16:42:51 Finished compiler/backend/proofs                            1h57m44s  16GB
Jan 06 16:42:51 Starting compiler/encoders/x64/proofs
Jan 06 17:03:16 Finished compiler/encoders/x64/proofs                         20m24s   4GB
Jan 06 17:03:16 Starting compiler/encoders/arm7/proofs
Jan 06 17:31:19 Finished compiler/encoders/arm7/proofs                        28m02s   3GB
Jan 06 17:31:20 Starting compiler/encoders/arm8/proofs
Jan 06 17:45:32 Finished compiler/encoders/arm8/proofs                        14m11s   1GB
Jan 06 17:45:32 Starting compiler/encoders/mips/proofs
Jan 06 18:06:47 Finished compiler/encoders/mips/proofs                        21m15s   2GB
Jan 06 18:06:48 Starting compiler/encoders/riscv/proofs
Jan 06 18:25:44 Finished compiler/encoders/riscv/proofs                       18m56s   1GB
Jan 06 18:25:44 Starting compiler/encoders/ag32/proofs
Jan 06 18:31:11 Finished compiler/encoders/ag32/proofs                         5m26s 947MB
Jan 06 18:31:11 Starting compiler/backend/x64/proofs
Jan 06 18:31:51 Finished compiler/backend/x64/proofs                             39s 812MB
Jan 06 18:31:51 Starting compiler/backend/arm7/proofs
Jan 06 18:32:31 Finished compiler/backend/arm7/proofs                            39s   1GB
Jan 06 18:32:31 Starting compiler/backend/arm8/proofs
Jan 06 18:33:09 Finished compiler/backend/arm8/proofs                            37s   1GB
Jan 06 18:33:09 Starting compiler/backend/mips/proofs
Jan 06 18:33:51 Finished compiler/backend/mips/proofs                            41s   1GB
Jan 06 18:33:52 Starting compiler/backend/riscv/proofs
Jan 06 18:34:32 Finished compiler/backend/riscv/proofs                           39s   1GB
Jan 06 18:34:32 Starting compiler/backend/ag32/proofs
Jan 06 18:53:45 Finished compiler/backend/ag32/proofs                         19m12s   2GB
Jan 06 18:53:45 Starting compiler/proofs
Jan 06 18:57:10 Finished compiler/proofs                                       3m24s   2GB
Jan 06 18:57:10 Starting candle/set-theory
Jan 06 18:58:05 Finished candle/set-theory                                       55s 769MB
Jan 06 18:58:06 Starting candle/syntax-lib
Jan 06 18:58:29 Finished candle/syntax-lib                                       22s 620MB
Jan 06 18:58:29 Starting candle/standard/syntax
Jan 06 19:02:21 Finished candle/standard/syntax                                3m51s   1GB
Jan 06 19:02:21 Starting candle/standard/semantics
Jan 06 19:05:57 Finished candle/standard/semantics                             3m35s   1GB
Jan 06 19:05:57 Starting candle/standard/monadic
Jan 06 19:09:18 Finished candle/standard/monadic                               3m20s   1GB
Jan 06 19:09:18 Starting candle/standard/ml_kernel
Jan 06 19:20:03 Finished candle/standard/ml_kernel                            10m44s   2GB
Jan 06 19:20:04 Starting candle/standard/opentheory
Jan 06 19:39:56 Finished candle/standard/opentheory                           19m52s   3GB
Jan 06 19:39:56 Starting candle/standard/opentheory/compilation
Jan 06 20:42:17 Finished candle/standard/opentheory/compilation             1h02m20s  15GB
Jan 06 20:42:17 Starting candle/standard/opentheory/compilation/proofs
Jan 06 20:43:48 Finished candle/standard/opentheory/compilation/proofs         1m31s   2GB
Jan 06 20:43:49 Starting characteristic/examples
Jan 06 20:47:05 Finished characteristic/examples                               3m16s   2GB
Jan 06 20:47:06 Starting tutorial/solutions
Jan 06 21:16:28 Finished tutorial/solutions                                   29m22s   7GB
Jan 06 21:16:28 Starting translator/monadic/examples
Jan 06 21:21:39 Finished translator/monadic/examples                           5m10s   2GB
Jan 06 21:21:39 Starting examples
Jan 06 21:37:18 Finished examples                                             15m38s   3GB
Jan 06 21:37:18 Starting examples/compilation/x64
Jan 07 02:07:13 Finished examples/compilation/x64                           4h29m54s  13GB
Jan 07 02:07:14 Starting examples/compilation/x64/proofs
Jan 07 02:10:22 Finished examples/compilation/x64/proofs                       3m08s   2GB
Jan 07 02:10:22 Starting examples/compilation/ag32
Jan 07 03:14:46 Finished examples/compilation/ag32                          1h04m21s   5GB
Jan 07 03:14:46 Starting examples/compilation/ag32/proofs
Jan 07 03:16:19 Finished examples/compilation/ag32/proofs                      1m32s   2GB
Jan 07 03:16:19 Starting examples/cost
Jan 07 04:10:22 Finished examples/cost                                        54m03s   6GB
Jan 07 04:10:23 Starting examples/lrat_checker
Jan 07 04:17:32 Finished examples/lrat_checker                                 7m09s   2GB
Jan 07 04:17:32 Starting examples/lrat_checker/compilation
Jan 07 04:47:18 Finished examples/lrat_checker/compilation                    29m45s   7GB
Jan 07 04:47:19 Starting examples/lrat_checker/compilation/proofs
Jan 07 04:48:39 Finished examples/lrat_checker/compilation/proofs              1m20s   2GB
Jan 07 04:48:39 Starting examples/lrat_checker/array
Jan 07 05:02:31 Finished examples/lrat_checker/array                          13m51s   3GB
Jan 07 05:02:31 Starting examples/lrat_checker/array/compilation
Jan 07 05:32:13 Finished examples/lrat_checker/array/compilation              29m41s   8GB
Jan 07 05:32:14 Starting examples/lrat_checker/array/compilation/proofs
Jan 07 05:33:33 Finished examples/lrat_checker/array/compilation/proofs        1m19s   3GB
Jan 07 05:33:34 Starting translator/okasaki-examples
Jan 07 05:41:57 Finished translator/okasaki-examples                           8m23s   1GB
Jan 07 05:41:58 Starting translator/other-examples
Jan 07 05:45:23 Finished translator/other-examples                             3m24s   1GB
Jan 07 05:45:23 Starting compiler/parsing/tests
Jan 07 05:46:18 Finished compiler/parsing/tests                                  55s 462MB
Jan 07 05:46:18 Starting compiler/inference/tests
Jan 07 05:54:57 Finished compiler/inference/tests                              8m38s   4GB
Jan 07 05:54:57 Starting compiler/bootstrap/translation
Jan 07 13:05:33 Finished compiler/bootstrap/translation                     7h10m35s  44GB
Jan 07 13:05:33 Starting unverified/sexpr-bootstrap/x64/64
Jan 07 13:32:46 Finished unverified/sexpr-bootstrap/x64/64                    27m11s   7GB
Jan 07 13:32:46 Starting unverified/sexpr-bootstrap/x64/32
Jan 07 13:54:57 Finished unverified/sexpr-bootstrap/x64/32                    22m10s   6GB
Jan 07 13:54:57 Starting compiler/benchmarks
Jan 07 13:55:01 Finished compiler/benchmarks                                      3s  32MB
Jan 07 13:55:01 Starting compiler/bootstrap/compilation/x64/64
Jan 08 15:43:15 Finished compiler/bootstrap/compilation/x64/64             25h48m13s 109GB
Jan 08 15:43:16 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 08 15:48:19 Finished compiler/bootstrap/compilation/x64/64/proofs          5m02s  12GB
Jan 08 15:48:19 Starting compiler/bootstrap/compilation/x64/32
Jan 09 14:14:57 Finished compiler/bootstrap/compilation/x64/32             22h26m36s  78GB
Jan 09 14:14:57 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 09 14:19:57 Finished compiler/bootstrap/compilation/x64/32/proofs          4m59s  10GB
Jan 09 14:19:57 Starting compiler/bootstrap/compilation/ag32/32
Jan 10 17:15:35 Finished compiler/bootstrap/compilation/ag32/32            26h55m36s 109GB
Jan 10 17:15:35 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 10 18:40:47 Finished compiler/bootstrap/compilation/ag32/32/proofs      1h25m10s  18GB
Jan 10 18:40:47 SUCCESS