Job 1933

CakeML:ac281b612346d6f60294cff5550d2edf14434b08
  Fix more confusion caused by two script files with same name [Jun 17 20:38:12]
#884 (let-lift)
Merging into:eb790298e00c580a9e04859097bb496681cb60ba
  Merge pull request #889 from CakeML/consts [Jun 17 13:54:24]
HOL:55691be292491aef452ee5e7c56e67b02601f669
  Holmake: fix mlton build [Jun 10 00:41:25]
Machine:oven3

Jun 18 14:36:36 Claimed job
Jun 18 14:36:44 Reusing HOL
Jun 18 14:37:42 Starting developers
Jun 18 14:37:52 Finished developers                                              10s 164MB
Jun 18 14:37:53 Starting developers/bin
Jun 18 14:38:04 Finished developers/bin                                          11s   1GB
Jun 18 14:38:05 Starting semantics/ffi
Jun 18 14:38:29 Finished semantics/ffi                                           24s 257MB
Jun 18 14:38:29 Starting semantics
Jun 18 14:43:28 Finished semantics                                             4m58s   1GB
Jun 18 14:43:28 Starting semantics/proofs
Jun 18 14:58:31 Finished semantics/proofs                                     15m03s   1GB
Jun 18 14:58:31 Starting semantics/alt_semantics
Jun 18 14:59:30 Finished semantics/alt_semantics                                 58s 572MB
Jun 18 14:59:30 Starting semantics/alt_semantics/proofs
Jun 18 15:24:28 Finished semantics/alt_semantics/proofs                       24m56s   1GB
Jun 18 15:24:28 Starting basis/pure
Jun 18 15:26:45 Finished basis/pure                                            2m17s 933MB
Jun 18 15:26:46 Starting translator
Jun 18 15:34:38 Finished translator                                            7m52s   1GB
Jun 18 15:34:38 Starting compiler/parsing
Jun 18 15:37:27 Finished compiler/parsing                                      2m48s   5GB
Jun 18 15:37:27 Starting characteristic
Jun 18 15:52:06 Finished characteristic                                       14m38s   1GB
Jun 18 15:52:06 Starting translator/monadic
Jun 18 15:56:20 Finished translator/monadic                                    4m13s   1GB
Jun 18 15:56:21 Starting basis
Jun 18 17:47:44 Finished basis                                              1h51m21s  10GB
Jun 18 17:47:44 Starting compiler/inference
Jun 18 17:50:58 Finished compiler/inference                                    3m14s   1GB
Jun 18 17:50:58 Starting compiler/backend/reg_alloc
Jun 18 17:54:11 Finished compiler/backend/reg_alloc                            3m11s   1GB
Jun 18 17:54:11 Starting compiler/backend/gc
Jun 18 18:03:01 Finished compiler/backend/gc                                   8m50s   2GB
Jun 18 18:03:02 Starting compiler/backend
Jun 18 18:15:04 Finished compiler/backend                                     12m02s   2GB
Jun 18 18:15:04 Starting compiler/encoders/asm
Jun 18 18:16:08 Finished compiler/encoders/asm                                 1m03s 737MB
Jun 18 18:16:08 Starting compiler/encoders/x64
Jun 18 18:17:13 Finished compiler/encoders/x64                                 1m04s 994MB
Jun 18 18:17:14 Starting compiler/encoders/arm7
Jun 18 18:19:16 Finished compiler/encoders/arm7                                2m02s 767MB
Jun 18 18:19:17 Starting compiler/encoders/arm8
Jun 18 18:19:55 Finished compiler/encoders/arm8                                  37s 662MB
Jun 18 18:19:55 Starting compiler/encoders/arm8_asl
Jun 18 18:27:09 Finished compiler/encoders/arm8_asl                            7m13s   1GB
Jun 18 18:27:09 Starting compiler/encoders/mips
Jun 18 18:27:52 Finished compiler/encoders/mips                                  43s   1GB
Jun 18 18:27:53 Starting compiler/encoders/riscv
Jun 18 18:28:33 Finished compiler/encoders/riscv                                 39s 882MB
Jun 18 18:28:33 Starting compiler/encoders/ag32
Jun 18 18:29:21 Finished compiler/encoders/ag32                                  48s 951MB
Jun 18 18:29:21 Starting compiler/backend/x64
Jun 18 18:30:11 Finished compiler/backend/x64                                    49s   1GB
Jun 18 18:30:11 Starting compiler/backend/arm7
Jun 18 18:31:03 Finished compiler/backend/arm7                                   51s   1GB
Jun 18 18:31:03 Starting compiler/backend/arm8
Jun 18 18:31:51 Finished compiler/backend/arm8                                   47s   1GB
Jun 18 18:31:51 Starting compiler/backend/mips
Jun 18 18:32:38 Finished compiler/backend/mips                                   46s   1GB
Jun 18 18:32:38 Starting compiler/backend/riscv
Jun 18 18:33:29 Finished compiler/backend/riscv                                  50s   1GB
Jun 18 18:33:29 Starting compiler/backend/ag32
Jun 18 18:36:25 Finished compiler/backend/ag32                                 2m55s   1GB
Jun 18 18:36:25 Starting compiler/parsing/proofs
Jun 18 18:44:48 Finished compiler/parsing/proofs                               8m22s   1GB
Jun 18 18:44:49 Starting compiler/inference/proofs
Jun 18 18:50:54 Finished compiler/inference/proofs                             6m04s   1GB
Jun 18 18:50:54 Starting compiler/backend/semantics
Jun 18 19:48:14 Finished compiler/backend/semantics                           57m19s   2GB
Jun 18 19:48:14 Starting compiler/backend/reg_alloc/proofs
Jun 18 19:56:00 Finished compiler/backend/reg_alloc/proofs                     7m45s   1GB
Jun 18 19:56:00 Starting compiler/backend/proofs
Jun 18 21:47:00 Finished compiler/backend/proofs                            1h50m59s  15GB
Jun 18 21:47:01 Starting compiler/backend/serialiser
Jun 18 21:50:36 Finished compiler/backend/serialiser                           3m35s   2GB
Jun 18 21:50:36 Starting compiler/encoders/x64/proofs
Jun 18 22:11:58 Finished compiler/encoders/x64/proofs                         21m21s   5GB
Jun 18 22:11:59 Starting compiler/encoders/arm7/proofs
Jun 18 22:42:16 Finished compiler/encoders/arm7/proofs                        30m17s   3GB
Jun 18 22:42:17 Starting compiler/encoders/arm8/proofs
Jun 18 22:57:42 Finished compiler/encoders/arm8/proofs                        15m24s   1GB
Jun 18 22:57:42 Starting compiler/encoders/arm8_asl/proofs
Jun 18 23:31:12 Finished compiler/encoders/arm8_asl/proofs                    33m29s   2GB
Jun 18 23:31:12 Starting compiler/encoders/mips/proofs
Jun 18 23:54:13 Finished compiler/encoders/mips/proofs                        23m00s   2GB
Jun 18 23:54:13 Starting compiler/encoders/riscv/proofs
Jun 19 00:14:40 Finished compiler/encoders/riscv/proofs                       20m25s   1GB
Jun 19 00:14:40 Starting compiler/encoders/ag32/proofs
Jun 19 00:20:21 Finished compiler/encoders/ag32/proofs                         5m40s   1GB
Jun 19 00:20:21 Starting compiler/backend/x64/proofs
Jun 19 00:21:25 Finished compiler/backend/x64/proofs                           1m03s   1GB
Jun 19 00:21:25 Starting compiler/backend/arm7/proofs
Jun 19 00:22:28 Finished compiler/backend/arm7/proofs                          1m02s   1GB
Jun 19 00:22:28 Starting compiler/backend/arm8/proofs
Jun 19 00:23:31 Finished compiler/backend/arm8/proofs                          1m02s   1GB
Jun 19 00:23:31 Starting compiler/backend/arm8_asl
Jun 19 00:24:25 Finished compiler/backend/arm8_asl                               53s   1GB
Jun 19 00:24:25 Starting compiler/backend/mips/proofs
Jun 19 00:25:26 Finished compiler/backend/mips/proofs                          1m01s   1GB
Jun 19 00:25:26 Starting compiler/backend/riscv/proofs
Jun 19 00:26:31 Finished compiler/backend/riscv/proofs                         1m03s   1GB
Jun 19 00:26:31 Starting compiler/backend/ag32/proofs
Jun 19 00:56:14 Finished compiler/backend/ag32/proofs                         29m42s   3GB
Jun 19 00:56:14 Starting compiler/proofs
Jun 19 01:00:58 Finished compiler/proofs                                       4m43s   3GB
Jun 19 01:00:58 Starting candle/set-theory
Jun 19 01:02:10 Finished candle/set-theory                                     1m11s   1GB
Jun 19 01:02:10 Starting candle/syntax-lib
Jun 19 01:02:40 Finished candle/syntax-lib                                       29s 601MB
Jun 19 01:02:40 Starting candle/standard/syntax
Jun 19 01:07:09 Finished candle/standard/syntax                                4m28s   1GB
Jun 19 01:07:09 Starting candle/standard/semantics
Jun 19 01:11:12 Finished candle/standard/semantics                             4m02s   1GB
Jun 19 01:11:12 Starting candle/standard/monadic
Jun 19 01:15:16 Finished candle/standard/monadic                               4m03s   1GB
Jun 19 01:15:16 Starting candle/standard/ml_kernel
Jun 19 01:29:01 Finished candle/standard/ml_kernel                            13m44s   4GB
Jun 19 01:29:01 Starting candle/overloading/syntax
Jun 19 01:35:42 Finished candle/overloading/syntax                             6m40s   1GB
Jun 19 01:35:43 Starting candle/overloading/semantics
Jun 19 02:02:01 Finished candle/overloading/semantics                         26m18s   2GB
Jun 19 02:02:02 Starting candle/overloading/monadic
Jun 19 02:07:35 Finished candle/overloading/monadic                            5m33s   1GB
Jun 19 02:07:35 Starting candle/overloading/ml_kernel
Jun 19 02:23:31 Finished candle/overloading/ml_kernel                         15m54s   3GB
Jun 19 02:23:31 Starting candle/overloading/ml_checker
Jun 19 02:28:58 Finished candle/overloading/ml_checker                         5m26s   3GB
Jun 19 02:28:58 Starting candle/prover
Jun 19 02:53:44 Finished candle/prover                                        24m45s   2GB
Jun 19 02:53:44 Starting pancake
Jun 19 03:01:44 Finished pancake                                               7m59s   3GB
Jun 19 03:01:44 Starting pancake/ffi
Jun 19 03:01:45 Finished pancake/ffi                                              0s  30MB
Jun 19 03:01:45 Starting pancake/semantics
Jun 19 03:07:13 Finished pancake/semantics                                     5m27s   1GB
Jun 19 03:07:13 Starting pancake/proofs
Jun 19 03:33:24 Finished pancake/proofs                                       26m11s   5GB
Jun 19 03:33:25 Starting characteristic/examples
Jun 19 03:36:37 Finished characteristic/examples                               3m11s   2GB
Jun 19 03:36:37 Starting tutorial/solutions
Jun 19 04:12:34 Finished tutorial/solutions                                   35m56s   9GB
Jun 19 04:12:34 Starting translator/monadic/examples
Jun 19 04:19:34 Finished translator/monadic/examples                           6m59s   3GB
Jun 19 04:19:34 Starting examples
Jun 19 04:38:41 Finished examples                                             19m07s   3GB
Jun 19 04:38:42 Starting examples/compilation/x64
Jun 19 09:13:39 Finished examples/compilation/x64                           4h34m57s  27GB
Jun 19 09:13:40 Starting examples/compilation/x64/proofs
Jun 19 09:18:01 Finished examples/compilation/x64/proofs                       4m20s   3GB
Jun 19 09:18:01 Starting examples/compilation/ag32
Jun 19 10:31:55 Finished examples/compilation/ag32                          1h13m52s   9GB
Jun 19 10:31:55 Starting examples/compilation/ag32/proofs
Jun 19 10:33:43 Finished examples/compilation/ag32/proofs                      1m48s   2GB
Jun 19 10:33:43 Starting examples/lpr_checker
Jun 19 10:35:56 Finished examples/lpr_checker                                  2m12s   1GB
Jun 19 10:35:56 Starting examples/lpr_checker/array
Jun 19 11:50:49 Finished examples/lpr_checker/array                         1h14m52s   5GB
Jun 19 11:50:49 Starting examples/lpr_checker/array/compilation
Jun 19 13:12:19 Finished examples/lpr_checker/array/compilation             1h21m29s  36GB
Jun 19 13:12:19 Starting examples/lpr_checker/array/compilation/proofs
Jun 19 13:15:17 Finished examples/lpr_checker/array/compilation/proofs         2m57s   6GB
Jun 19 13:15:17 Starting examples/opentheory
Jun 19 13:37:42 Finished examples/opentheory                                  22m24s   5GB
Jun 19 13:37:43 Starting examples/opentheory
Jun 19 13:37:46 Finished examples/opentheory                                      2s  32MB
Jun 19 13:37:46 Starting examples/opentheory/compilation
Jun 19 15:03:26 Finished examples/opentheory/compilation                    1h25m39s  33GB
Jun 19 15:03:26 Starting examples/opentheory/compilation/proofs
Jun 19 15:05:18 Finished examples/opentheory/compilation/proofs                1m52s   3GB
Jun 19 15:05:18 Starting examples/opentheory/compilation/ag32
Jun 19 16:28:20 Finished examples/opentheory/compilation/ag32               1h23m01s  39GB
Jun 19 16:28:20 Starting examples/opentheory/compilation/ag32/proofs
Jun 19 16:32:11 Finished examples/opentheory/compilation/ag32/proofs           3m50s   5GB
Jun 19 16:32:12 Starting examples/sat_encodings
Jun 19 16:36:38 Finished examples/sat_encodings                                4m26s   1GB
Jun 19 16:36:39 Starting examples/sat_encodings/case_studies
Jun 19 16:40:17 Finished examples/sat_encodings/case_studies                   3m37s 761MB
Jun 19 16:40:17 Starting examples/sat_encodings/translation
Jun 19 16:52:14 Finished examples/sat_encodings/translation                   11m57s   3GB
Jun 19 16:52:14 Starting examples/sat_encodings/translation/compilation
Jun 19 18:17:21 Finished examples/sat_encodings/translation/compilation     1h25m06s  21GB
Jun 19 18:17:22 Starting examples/deflate
Jun 19 18:19:27 Finished examples/deflate                                      2m05s 756MB
Jun 19 18:19:28 Starting examples/deflate/translation
Jun 19 18:22:33 Finished examples/deflate/translation                          3m05s   3GB
Jun 19 18:22:34 Starting examples/deflate/translation/compilation
Jun 19 19:01:41 Finished examples/deflate/translation/compilation             39m07s  17GB
Jun 19 19:01:41 Starting translator/okasaki-examples
Jun 19 19:12:03 Finished translator/okasaki-examples                          10m22s   2GB
Jun 19 19:12:04 Starting translator/other-examples
Jun 19 19:13:44 Finished translator/other-examples                             1m39s   1GB
Jun 19 19:13:44 Starting compiler/parsing/tests
Jun 19 19:14:53 Finished compiler/parsing/tests                                1m09s 582MB
Jun 19 19:14:53 Starting compiler/inference/tests
Jun 19 19:31:47 Finished compiler/inference/tests                             16m52s   3GB
Jun 19 19:31:47 Starting compiler/printing/test
Jun 19 19:39:16 Finished compiler/printing/test                                7m28s   3GB
Jun 19 19:39:16 Starting icing/flover
Jun 19 20:06:28 Finished icing/flover                                         27m11s   1GB
Jun 19 20:06:28 Starting icing/
Jun 19 22:17:53 Finished icing/                                             2h11m25s   8GB
Jun 19 22:17:54 Starting icing/examples
Jun 19 22:20:58 Finished icing/examples                                        3m03s   5GB
Jun 19 22:20:58 Starting compiler/repl
Jun 19 22:47:12 Finished compiler/repl                                        26m13s   5GB
Jun 19 22:47:12 Starting compiler/bootstrap/translation
Jun 20 08:11:53 Finished compiler/bootstrap/translation                     9h24m40s  66GB
Jun 20 08:11:53 Starting unverified/sexpr-bootstrap/x64/64
Jun 20 08:34:49 Finished unverified/sexpr-bootstrap/x64/64                    22m55s  12GB
Jun 20 08:34:49 Starting unverified/sexpr-bootstrap/x64/32
Jun 20 08:54:13 Finished unverified/sexpr-bootstrap/x64/32                    19m23s  10GB
Jun 20 08:54:13 Starting compiler/benchmarks
Jun 20 08:54:18 Finished compiler/benchmarks                                      5s  57MB
Jun 20 08:54:19 Starting compiler/bootstrap/compilation/x64/64
Jun 21 08:42:59 Finished compiler/bootstrap/compilation/x64/64             23h48m39s  99GB
Jun 21 08:42:59 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 21 09:23:18 Finished compiler/bootstrap/compilation/x64/64/proofs         40m18s  27GB
Jun 21 09:23:19 Starting compiler/bootstrap/compilation/x64/32
Jun 22 00:15:16 Finished compiler/bootstrap/compilation/x64/32             14h51m56s 109GB
Jun 22 00:15:17 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 22 00:20:08 Finished compiler/bootstrap/compilation/x64/32/proofs          4m50s  13GB
Jun 22 00:20:08 Starting compiler/bootstrap/compilation/ag32/32
Jun 22 14:48:56 Finished compiler/bootstrap/compilation/ag32/32            14h28m46s  72GB
Jun 22 14:48:56 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 22 15:01:33 Finished compiler/bootstrap/compilation/ag32/32/proofs        12m36s  33GB
Jun 22 15:01:33 SUCCESS