Job 660

CakeML:0aee46556355437631594119b13f4dbd86018538
  Rename to lowercase code-of-conduct.md [Dec 31 09:56:42]
HOL:0124d8164e90c83276369505c475205603ff75de
  Make mosml Holmake use interactive unquote when handling Script files [Jan 03 09:13:04]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jan 04 01:10:47 Claimed job
Jan 04 01:11:09 Building HOL
Jan 04 01:20:26 Starting developers
Jan 04 01:20:29 Finished developers                                               2s  21MB
Jan 04 01:20:29 Starting developers/bin
Jan 04 01:21:45 Finished developers/bin                                        1m15s 916MB
Jan 04 01:21:46 Starting semantics/ffi
Jan 04 01:22:24 Finished semantics/ffi                                           37s 495MB
Jan 04 01:22:25 Starting semantics
Jan 04 01:24:04 Finished semantics                                             1m38s   1GB
Jan 04 01:24:04 Starting semantics/proofs
Jan 04 01:27:28 Finished semantics/proofs                                      3m22s   1GB
Jan 04 01:27:28 Starting basis/pure
Jan 04 01:31:10 Finished basis/pure                                            3m40s 617MB
Jan 04 01:31:10 Starting translator
Jan 04 01:32:52 Finished translator                                            1m41s   1GB
Jan 04 01:32:53 Starting compiler/parsing
Jan 04 01:33:57 Finished compiler/parsing                                      1m03s   1GB
Jan 04 01:33:58 Starting characteristic
Jan 04 01:37:21 Finished characteristic                                        3m22s   1GB
Jan 04 01:37:22 Starting translator/monadic
Jan 04 01:38:52 Finished translator/monadic                                    1m29s   1GB
Jan 04 01:38:52 Starting basis
Jan 04 01:55:22 Finished basis                                                16m29s   2GB
Jan 04 01:55:23 Starting compiler/inference
Jan 04 01:57:22 Finished compiler/inference                                    1m57s   1GB
Jan 04 01:57:22 Starting compiler/backend/reg_alloc
Jan 04 01:58:16 Finished compiler/backend/reg_alloc                              52s   1GB
Jan 04 01:58:16 Starting compiler/backend/gc
Jan 04 02:07:21 Finished compiler/backend/gc                                   9m03s   1GB
Jan 04 02:07:21 Starting compiler/backend
Jan 04 02:07:24 Finished compiler/backend                                         2s  26MB
Jan 04 02:07:25 Starting compiler/encoders/asm
Jan 04 02:07:27 Finished compiler/encoders/asm                                    1s  14MB
Jan 04 02:07:27 Starting compiler/encoders/x64
Jan 04 02:08:30 Finished compiler/encoders/x64                                 1m01s 604MB
Jan 04 02:08:31 Starting compiler/encoders/arm6
Jan 04 02:10:23 Finished compiler/encoders/arm6                                1m51s   1GB
Jan 04 02:10:23 Starting compiler/encoders/arm8
Jan 04 02:10:56 Finished compiler/encoders/arm8                                  31s 509MB
Jan 04 02:10:57 Starting compiler/encoders/mips
Jan 04 02:12:03 Finished compiler/encoders/mips                                1m06s   1GB
Jan 04 02:12:04 Starting compiler/encoders/riscv
Jan 04 02:13:13 Finished compiler/encoders/riscv                               1m07s 952MB
Jan 04 02:13:13 Starting compiler/encoders/ag32
Jan 04 02:13:31 Finished compiler/encoders/ag32                                  17s 752MB
Jan 04 02:13:32 Starting compiler/backend/x64
Jan 04 02:13:50 Finished compiler/backend/x64                                    17s   1GB
Jan 04 02:13:51 Starting compiler/backend/arm6
Jan 04 02:14:12 Finished compiler/backend/arm6                                   20s   1GB
Jan 04 02:14:12 Starting compiler/backend/arm8
Jan 04 02:14:30 Finished compiler/backend/arm8                                   17s 862MB
Jan 04 02:14:31 Starting compiler/backend/mips
Jan 04 02:14:50 Finished compiler/backend/mips                                   18s   1GB
Jan 04 02:14:51 Starting compiler/backend/riscv
Jan 04 02:15:11 Finished compiler/backend/riscv                                  18s   1GB
Jan 04 02:15:12 Starting compiler/backend/ag32
Jan 04 02:16:24 Finished compiler/backend/ag32                                 1m11s   1GB
Jan 04 02:16:24 Starting compiler/parsing/proofs
Jan 04 02:22:37 Finished compiler/parsing/proofs                               6m11s 854MB
Jan 04 02:22:37 Starting compiler/inference/proofs
Jan 04 02:25:32 Finished compiler/inference/proofs                             2m54s   1GB
Jan 04 02:25:33 Starting compiler/backend/semantics
Jan 04 02:33:06 Finished compiler/backend/semantics                            7m32s   1GB
Jan 04 02:33:06 Starting compiler/backend/reg_alloc/proofs
Jan 04 02:35:53 Finished compiler/backend/reg_alloc/proofs                     2m45s 731MB
Jan 04 02:35:54 Starting compiler/backend/proofs
Jan 04 03:14:22 Finished compiler/backend/proofs                              38m27s   3GB
Jan 04 03:14:23 Starting compiler/encoders/x64/proofs
Jan 04 03:25:03 Finished compiler/encoders/x64/proofs                         10m39s   5GB
Jan 04 03:25:04 Starting compiler/encoders/arm6/proofs
Jan 04 03:40:09 Finished compiler/encoders/arm6/proofs                        15m04s   3GB
Jan 04 03:40:09 Starting compiler/encoders/arm8/proofs
Jan 04 03:46:18 Finished compiler/encoders/arm8/proofs                         6m08s   1GB
Jan 04 03:46:19 Starting compiler/encoders/mips/proofs
Jan 04 03:57:23 Finished compiler/encoders/mips/proofs                        11m02s   2GB
Jan 04 03:57:23 Starting compiler/encoders/riscv/proofs
Jan 04 04:05:27 Finished compiler/encoders/riscv/proofs                        8m02s   1GB
Jan 04 04:05:28 Starting compiler/encoders/ag32/proofs
Jan 04 04:08:11 Finished compiler/encoders/ag32/proofs                         2m42s 652MB
Jan 04 04:08:12 Starting compiler/backend/x64/proofs
Jan 04 04:08:33 Finished compiler/backend/x64/proofs                             20s   1GB
Jan 04 04:08:34 Starting compiler/backend/arm6/proofs
Jan 04 04:08:57 Finished compiler/backend/arm6/proofs                            23s   1GB
Jan 04 04:08:58 Starting compiler/backend/arm8/proofs
Jan 04 04:09:20 Finished compiler/backend/arm8/proofs                            20s 866MB
Jan 04 04:09:20 Starting compiler/backend/mips/proofs
Jan 04 04:09:42 Finished compiler/backend/mips/proofs                            21s   1GB
Jan 04 04:09:43 Starting compiler/backend/riscv/proofs
Jan 04 04:10:03 Finished compiler/backend/riscv/proofs                           19s   1GB
Jan 04 04:10:04 Starting compiler/backend/ag32/proofs
Jan 04 04:19:15 Finished compiler/backend/ag32/proofs                          9m09s   2GB
Jan 04 04:19:16 Starting compiler/proofs
Jan 04 04:20:38 Finished compiler/proofs                                       1m21s   3GB
Jan 04 04:20:39 Starting candle/set-theory
Jan 04 04:21:06 Finished candle/set-theory                                       26s 703MB
Jan 04 04:21:07 Starting candle/syntax-lib
Jan 04 04:21:18 Finished candle/syntax-lib                                       10s 684MB
Jan 04 04:21:19 Starting candle/standard/syntax
Jan 04 04:23:10 Finished candle/standard/syntax                                1m49s   1GB
Jan 04 04:23:10 Starting candle/standard/semantics
Jan 04 04:24:53 Finished candle/standard/semantics                             1m41s   1GB
Jan 04 04:24:53 Starting candle/standard/monadic
Jan 04 04:26:37 Finished candle/standard/monadic                               1m42s 999MB
Jan 04 04:26:37 Starting candle/standard/ml_kernel
Jan 04 04:41:46 Finished candle/standard/ml_kernel                            15m08s   3GB
Jan 04 04:41:47 Starting candle/standard/opentheory
Jan 04 04:50:41 Finished candle/standard/opentheory                            8m53s   4GB
Jan 04 04:50:42 Starting candle/standard/opentheory/compilation
Jan 04 05:19:46 Finished candle/standard/opentheory/compilation               29m03s  11GB
Jan 04 05:19:47 Starting candle/standard/opentheory/compilation/proofs
Jan 04 05:20:37 Finished candle/standard/opentheory/compilation/proofs           49s   6GB
Jan 04 05:20:38 Starting characteristic/examples
Jan 04 05:22:10 Finished characteristic/examples                               1m32s   3GB
Jan 04 05:22:11 Starting tutorial/solutions
Jan 04 05:34:59 Finished tutorial/solutions                                   12m47s   7GB
Jan 04 05:35:00 Starting translator/monadic/examples
Jan 04 05:37:10 Finished translator/monadic/examples                           2m09s   2GB
Jan 04 05:37:11 Starting examples
Jan 04 05:44:56 Finished examples                                              7m44s   3GB
Jan 04 05:44:57 Starting examples/compilation/x64
Jan 04 07:45:27 Finished examples/compilation/x64                           2h00m29s  13GB
Jan 04 07:45:28 Starting examples/compilation/x64/proofs
Jan 04 07:47:20 Finished examples/compilation/x64/proofs                       1m51s   4GB
Jan 04 07:47:21 Starting examples/compilation/ag32
Jan 04 08:15:13 Finished examples/compilation/ag32                            27m51s   5GB
Jan 04 08:15:13 Starting examples/compilation/ag32/proofs
Jan 04 08:16:02 Finished examples/compilation/ag32/proofs                        47s   4GB
Jan 04 08:16:03 Starting translator/okasaki-examples
Jan 04 08:20:07 Finished translator/okasaki-examples                           4m03s   1GB
Jan 04 08:20:07 Starting translator/other-examples
Jan 04 08:23:49 Finished translator/other-examples                             3m41s   1GB
Jan 04 08:23:50 Starting compiler/parsing/tests
Jan 04 08:24:18 Finished compiler/parsing/tests                                  27s 463MB
Jan 04 08:24:19 Starting compiler/inference/tests
Jan 04 08:28:17 Finished compiler/inference/tests                              3m57s   5GB
Jan 04 08:28:17 Starting compiler/bootstrap/translation
Jan 04 11:58:30 Finished compiler/bootstrap/translation                     3h30m11s  54GB
Jan 04 11:58:30 Starting unverified/sexpr-bootstrap/x64/64
Jan 04 12:06:31 Finished unverified/sexpr-bootstrap/x64/64                     7m59s  14GB
Jan 04 12:06:32 Starting unverified/sexpr-bootstrap/x64/32
Jan 04 12:11:17 Finished unverified/sexpr-bootstrap/x64/32                     4m43s  19GB
Jan 04 12:11:18 Starting compiler/bootstrap/compilation/x64/64
Jan 04 22:02:38 Finished compiler/bootstrap/compilation/x64/64              9h51m18s  64GB
Jan 04 22:02:39 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 04 22:09:04 Finished compiler/bootstrap/compilation/x64/64/proofs          6m25s  33GB
Jan 04 22:09:05 Starting compiler/bootstrap/compilation/x64/32
Jan 05 07:05:39 Finished compiler/bootstrap/compilation/x64/32              8h56m31s  64GB
Jan 05 07:05:39 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 05 07:11:33 Finished compiler/bootstrap/compilation/x64/32/proofs          5m53s  29GB
Jan 05 07:11:34 SUCCESS