Job 577

CakeML:35755bf197040e471a8464eb0696cf2d001d02d9
  Merge remote-tracking branch 'origin/master' into tiny [Nov 22 15:06:25]
#554 (tiny)
Merging into:19b073895fb32a069a88cf2b55eb0a4f0216e156
  Merge pull request #557 from CakeML/issue-538 [Nov 22 14:28:23]
HOL:acd07026761c91f65c78d51b8e16234614fa2712
  Fix Holmake's wildcard fn to interpret arg as multiple patterns [Nov 23 06:07:36]
Machine:demi

Nov 23 10:03:17 Claimed job
Nov 23 10:03:25 Building HOL
Nov 23 10:16:26 Starting developers/bin
Nov 23 10:16:32 Finished developers/bin                                           6s 932MB
Nov 23 10:16:33 Starting semantics/ffi
Nov 23 10:17:30 Finished semantics/ffi                                           56s 424MB
Nov 23 10:17:31 Starting semantics
Nov 23 10:19:36 Finished semantics                                             2m05s 917MB
Nov 23 10:19:37 Starting semantics/proofs
Nov 23 10:23:43 Finished semantics/proofs                                      4m06s   1GB
Nov 23 10:23:44 Starting basis/pure
Nov 23 10:28:52 Finished basis/pure                                            5m08s 762MB
Nov 23 10:28:53 Starting translator
Nov 23 10:33:12 Finished translator                                            4m18s   1GB
Nov 23 10:33:13 Starting compiler/parsing
Nov 23 10:35:02 Finished compiler/parsing                                      1m48s   3GB
Nov 23 10:35:02 Starting characteristic
Nov 23 10:38:41 Finished characteristic                                        3m37s   1GB
Nov 23 10:38:41 Starting translator/monadic
Nov 23 10:40:48 Finished translator/monadic                                    2m06s   1GB
Nov 23 10:40:48 Starting basis
Nov 23 11:03:23 Finished basis                                                22m33s   2GB
Nov 23 11:03:23 Starting compiler/inference
Nov 23 11:05:45 Finished compiler/inference                                    2m20s   1GB
Nov 23 11:05:45 Starting compiler/backend/reg_alloc
Nov 23 11:06:48 Finished compiler/backend/reg_alloc                            1m02s 865MB
Nov 23 11:06:49 Starting compiler/backend/gc
Nov 23 11:16:50 Finished compiler/backend/gc                                  10m00s   1GB
Nov 23 11:16:50 Starting compiler/backend
Nov 23 11:16:53 Finished compiler/backend                                         2s  32MB
Nov 23 11:16:54 Starting compiler/encoders/asm
Nov 23 11:16:56 Finished compiler/encoders/asm                                    1s  32MB
Nov 23 11:16:56 Starting compiler/encoders/x64
Nov 23 11:18:09 Finished compiler/encoders/x64                                 1m12s 600MB
Nov 23 11:18:09 Starting compiler/encoders/arm6
Nov 23 11:20:42 Finished compiler/encoders/arm6                                2m32s   1GB
Nov 23 11:20:43 Starting compiler/encoders/arm8
Nov 23 11:21:21 Finished compiler/encoders/arm8                                  37s 488MB
Nov 23 11:21:21 Starting compiler/encoders/mips
Nov 23 11:22:47 Finished compiler/encoders/mips                                1m25s 855MB
Nov 23 11:22:48 Starting compiler/encoders/riscv
Nov 23 11:24:17 Finished compiler/encoders/riscv                               1m28s 794MB
Nov 23 11:24:18 Starting compiler/encoders/ag32
Nov 23 11:24:43 Finished compiler/encoders/ag32                                  24s 759MB
Nov 23 11:24:43 Starting compiler/backend/x64
Nov 23 11:25:08 Finished compiler/backend/x64                                    24s   1GB
Nov 23 11:25:08 Starting compiler/backend/arm6
Nov 23 11:25:35 Finished compiler/backend/arm6                                   25s   1GB
Nov 23 11:25:35 Starting compiler/backend/arm8
Nov 23 11:26:01 Finished compiler/backend/arm8                                   25s   1GB
Nov 23 11:26:02 Starting compiler/backend/mips
Nov 23 11:26:28 Finished compiler/backend/mips                                   25s   1GB
Nov 23 11:26:28 Starting compiler/backend/riscv
Nov 23 11:26:54 Finished compiler/backend/riscv                                  24s   1GB
Nov 23 11:26:54 Starting compiler/backend/ag32
Nov 23 11:28:35 Finished compiler/backend/ag32                                 1m40s   1GB
Nov 23 11:28:35 Starting compiler/parsing/proofs
Nov 23 11:38:00 Finished compiler/parsing/proofs                               9m24s 850MB
Nov 23 11:38:01 Starting compiler/inference/proofs
Nov 23 11:41:52 Finished compiler/inference/proofs                             3m50s   1GB
Nov 23 11:41:52 Starting compiler/backend/semantics
Nov 23 11:53:40 Finished compiler/backend/semantics                           11m46s   3GB
Nov 23 11:53:40 Starting compiler/backend/reg_alloc/proofs
Nov 23 11:57:26 Finished compiler/backend/reg_alloc/proofs                     3m45s 809MB
Nov 23 11:57:27 Starting compiler/backend/proofs
Nov 23 12:54:33 Finished compiler/backend/proofs                              57m06s   4GB
Nov 23 12:54:34 Starting compiler/encoders/x64/proofs
Nov 23 13:08:28 Finished compiler/encoders/x64/proofs                         13m53s   4GB
Nov 23 13:08:28 Starting compiler/encoders/arm6/proofs
Nov 23 13:28:46 Finished compiler/encoders/arm6/proofs                        20m16s   3GB
Nov 23 13:28:47 Starting compiler/encoders/arm8/proofs
Nov 23 13:36:59 Finished compiler/encoders/arm8/proofs                         8m12s   1GB
Nov 23 13:37:00 Starting compiler/encoders/mips/proofs
Nov 23 13:51:23 Finished compiler/encoders/mips/proofs                        14m22s   1GB
Nov 23 13:51:23 Starting compiler/encoders/riscv/proofs
Nov 23 14:02:04 Finished compiler/encoders/riscv/proofs                       10m39s   1GB
Nov 23 14:02:04 Starting compiler/encoders/ag32/proofs
Nov 23 14:05:44 Finished compiler/encoders/ag32/proofs                         3m39s 955MB
Nov 23 14:05:45 Starting compiler/backend/x64/proofs
Nov 23 14:06:12 Finished compiler/backend/x64/proofs                             27s 831MB
Nov 23 14:06:13 Starting compiler/backend/arm6/proofs
Nov 23 14:06:44 Finished compiler/backend/arm6/proofs                            30s   1GB
Nov 23 14:06:44 Starting compiler/backend/arm8/proofs
Nov 23 14:07:14 Finished compiler/backend/arm8/proofs                            29s   1GB
Nov 23 14:07:14 Starting compiler/backend/mips/proofs
Nov 23 14:07:45 Finished compiler/backend/mips/proofs                            29s   1GB
Nov 23 14:07:45 Starting compiler/backend/riscv/proofs
Nov 23 14:08:15 Finished compiler/backend/riscv/proofs                           29s   1GB
Nov 23 14:08:16 Starting compiler/backend/ag32/proofs
Nov 23 14:21:20 Finished compiler/backend/ag32/proofs                         13m03s   2GB
Nov 23 14:21:20 Starting compiler/proofs
Nov 23 14:23:06 Finished compiler/proofs                                       1m44s   2GB
Nov 23 14:23:06 Starting candle/set-theory
Nov 23 14:23:50 Finished candle/set-theory                                       43s 658MB
Nov 23 14:23:51 Starting candle/syntax-lib
Nov 23 14:24:05 Finished candle/syntax-lib                                       13s 548MB
Nov 23 14:24:05 Starting candle/standard/syntax
Nov 23 14:26:10 Finished candle/standard/syntax                                2m04s   1GB
Nov 23 14:26:11 Starting candle/standard/semantics
Nov 23 14:28:03 Finished candle/standard/semantics                             1m51s   1GB
Nov 23 14:28:03 Starting candle/standard/monadic
Nov 23 14:30:14 Finished candle/standard/monadic                               2m09s 884MB
Nov 23 14:30:14 Starting candle/standard/ml_kernel
Nov 23 14:50:38 Finished candle/standard/ml_kernel                            20m23s   2GB
Nov 23 14:50:38 Starting candle/standard/opentheory
Nov 23 15:01:11 Finished candle/standard/opentheory                           10m31s   3GB
Nov 23 15:01:11 Starting candle/standard/opentheory/compilation
Nov 23 15:37:47 Finished candle/standard/opentheory/compilation               36m35s  15GB
Nov 23 15:37:48 Starting candle/standard/opentheory/compilation/proofs
Nov 23 15:38:38 Finished candle/standard/opentheory/compilation/proofs           49s   5GB
Nov 23 15:38:39 Starting characteristic/examples
Nov 23 15:40:41 Finished characteristic/examples                               2m02s   2GB
Nov 23 15:40:42 Starting tutorial/solutions
Nov 23 15:58:19 Finished tutorial/solutions                                   17m36s   8GB
Nov 23 15:58:20 Starting translator/monadic/examples
Nov 23 16:00:33 Finished translator/monadic/examples                           2m12s   2GB
Nov 23 16:00:33 Starting examples
Nov 23 16:08:06 Finished examples                                              7m31s   2GB
Nov 23 16:08:06 Starting examples/compilation/x64
Nov 23 18:40:39 Finished examples/compilation/x64                           2h32m32s  10GB
Nov 23 18:40:39 Starting examples/compilation/x64/proofs
Nov 23 18:43:27 Finished examples/compilation/x64/proofs                       2m47s   3GB
Nov 23 18:43:28 Starting examples/compilation/ag32
Nov 23 19:17:44 Finished examples/compilation/ag32                            34m15s   3GB
Nov 23 19:17:45 Starting examples/compilation/ag32/proofs
Nov 23 19:18:19 Finished examples/compilation/ag32/proofs                        34s   2GB
Nov 23 19:18:20 Starting compiler/benchmarks
Nov 23 19:18:21 Finished compiler/benchmarks                                      0s   7MB
Nov 23 19:18:21 Starting translator/okasaki-examples
Nov 23 19:23:01 Finished translator/okasaki-examples                           4m38s   1GB
Nov 23 19:23:01 Starting translator/other-examples
Nov 23 19:27:52 Finished translator/other-examples                             4m50s 844MB
Nov 23 19:27:52 Starting compiler/parsing/tests
Nov 23 19:28:27 Finished compiler/parsing/tests                                  34s 368MB
Nov 23 19:28:27 Starting compiler/inference/tests
Nov 23 19:33:38 Finished compiler/inference/tests                              5m09s   6GB
Nov 23 19:33:38 Starting compiler/bootstrap/translation
Nov 23 23:46:39 Finished compiler/bootstrap/translation                     4h12m59s  51GB
Nov 23 23:46:39 Starting unverified/sexpr-bootstrap/x64/64
Nov 23 23:57:19 Finished unverified/sexpr-bootstrap/x64/64                    10m39s  15GB
Nov 23 23:57:20 Starting unverified/sexpr-bootstrap/x64/32
Nov 24 00:04:26 Finished unverified/sexpr-bootstrap/x64/32                     7m05s  17GB
Nov 24 00:04:27 Starting compiler/bootstrap/compilation/x64/64
Nov 24 21:41:32 Finished compiler/bootstrap/compilation/x64/64             21h37m04s  61GB
Nov 24 21:41:32 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 24 21:46:00 Finished compiler/bootstrap/compilation/x64/64/proofs          4m26s  24GB
Nov 24 21:46:00 Starting compiler/bootstrap/compilation/x64/32
Nov 25 12:03:08 Finished compiler/bootstrap/compilation/x64/32             14h17m06s  61GB
Nov 25 12:03:08 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 25 12:07:27 Finished compiler/bootstrap/compilation/x64/32/proofs          4m18s  23GB
Nov 25 12:07:28 SUCCESS