Job 658

CakeML:0aee46556355437631594119b13f4dbd86018538
  Rename to lowercase code-of-conduct.md [Dec 31 09:56:42]
HOL:89daca206b2ad7a8e43f3a59c20a178cc04d7748
  Fix bug: TypeBase.simpls_of not being filled in on load [Dec 21 04:04:45]
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

Dec 31 15:19:23 Claimed job
Dec 31 15:19:44 Reusing HOL
Dec 31 15:20:34 Starting developers
Dec 31 15:20:37 Finished developers                                               2s  22MB
Dec 31 15:20:38 Starting developers/bin
Dec 31 15:21:49 Finished developers/bin                                        1m10s 916MB
Dec 31 15:21:49 Starting semantics/ffi
Dec 31 15:22:00 Finished semantics/ffi                                           10s 226MB
Dec 31 15:22:01 Starting semantics
Dec 31 15:23:26 Finished semantics                                             1m24s   1GB
Dec 31 15:23:27 Starting semantics/proofs
Dec 31 15:26:48 Finished semantics/proofs                                      3m20s   1GB
Dec 31 15:26:48 Starting basis/pure
Dec 31 15:27:43 Finished basis/pure                                              54s 663MB
Dec 31 15:27:44 Starting translator
Dec 31 15:29:26 Finished translator                                            1m41s   1GB
Dec 31 15:29:26 Starting compiler/parsing
Dec 31 15:30:31 Finished compiler/parsing                                      1m04s   1GB
Dec 31 15:30:32 Starting characteristic
Dec 31 15:33:51 Finished characteristic                                        3m18s   1GB
Dec 31 15:33:52 Starting translator/monadic
Dec 31 15:35:19 Finished translator/monadic                                    1m26s   1GB
Dec 31 15:35:20 Starting basis
Dec 31 15:51:52 Finished basis                                                16m30s   3GB
Dec 31 15:51:52 Starting compiler/inference
Dec 31 15:53:34 Finished compiler/inference                                    1m41s   1GB
Dec 31 15:53:35 Starting compiler/backend/reg_alloc
Dec 31 15:54:28 Finished compiler/backend/reg_alloc                              52s   1GB
Dec 31 15:54:29 Starting compiler/backend/gc
Dec 31 16:02:34 Finished compiler/backend/gc                                   8m03s   1GB
Dec 31 16:02:34 Starting compiler/backend
Dec 31 16:02:37 Finished compiler/backend                                         2s  17MB
Dec 31 16:02:38 Starting compiler/encoders/asm
Dec 31 16:02:40 Finished compiler/encoders/asm                                    1s  16MB
Dec 31 16:02:40 Starting compiler/encoders/x64
Dec 31 16:03:07 Finished compiler/encoders/x64                                   25s 962MB
Dec 31 16:03:07 Starting compiler/encoders/arm6
Dec 31 16:04:05 Finished compiler/encoders/arm6                                  57s 801MB
Dec 31 16:04:06 Starting compiler/encoders/arm8
Dec 31 16:04:20 Finished compiler/encoders/arm8                                  13s 528MB
Dec 31 16:04:20 Starting compiler/encoders/mips
Dec 31 16:04:40 Finished compiler/encoders/mips                                  18s 849MB
Dec 31 16:04:40 Starting compiler/encoders/riscv
Dec 31 16:04:56 Finished compiler/encoders/riscv                                 14s 736MB
Dec 31 16:04:56 Starting compiler/encoders/ag32
Dec 31 16:05:14 Finished compiler/encoders/ag32                                  17s 779MB
Dec 31 16:05:15 Starting compiler/backend/x64
Dec 31 16:05:33 Finished compiler/backend/x64                                    17s 818MB
Dec 31 16:05:34 Starting compiler/backend/arm6
Dec 31 16:05:54 Finished compiler/backend/arm6                                   19s   1GB
Dec 31 16:05:54 Starting compiler/backend/arm8
Dec 31 16:06:13 Finished compiler/backend/arm8                                   18s   1GB
Dec 31 16:06:14 Starting compiler/backend/mips
Dec 31 16:06:33 Finished compiler/backend/mips                                   17s 748MB
Dec 31 16:06:33 Starting compiler/backend/riscv
Dec 31 16:06:53 Finished compiler/backend/riscv                                  19s   1GB
Dec 31 16:06:54 Starting compiler/backend/ag32
Dec 31 16:08:08 Finished compiler/backend/ag32                                 1m14s   1GB
Dec 31 16:08:09 Starting compiler/parsing/proofs
Dec 31 16:14:19 Finished compiler/parsing/proofs                               6m09s 856MB
Dec 31 16:14:20 Starting compiler/inference/proofs
Dec 31 16:17:16 Finished compiler/inference/proofs                             2m55s   1GB
Dec 31 16:17:17 Starting compiler/backend/semantics
Dec 31 16:24:50 Finished compiler/backend/semantics                            7m31s   1GB
Dec 31 16:24:51 Starting compiler/backend/reg_alloc/proofs
Dec 31 16:27:39 Finished compiler/backend/reg_alloc/proofs                     2m46s   1GB
Dec 31 16:27:39 Starting compiler/backend/proofs
Dec 31 17:06:12 Finished compiler/backend/proofs                              38m32s   3GB
Dec 31 17:06:13 Starting compiler/encoders/x64/proofs
Dec 31 17:16:07 Finished compiler/encoders/x64/proofs                          9m53s   4GB
Dec 31 17:16:07 Starting compiler/encoders/arm6/proofs
Dec 31 17:30:02 Finished compiler/encoders/arm6/proofs                        13m53s   3GB
Dec 31 17:30:03 Starting compiler/encoders/arm8/proofs
Dec 31 17:36:08 Finished compiler/encoders/arm8/proofs                         6m04s   1GB
Dec 31 17:36:09 Starting compiler/encoders/mips/proofs
Dec 31 17:46:34 Finished compiler/encoders/mips/proofs                        10m24s   2GB
Dec 31 17:46:34 Starting compiler/encoders/riscv/proofs
Dec 31 17:54:23 Finished compiler/encoders/riscv/proofs                        7m48s   1GB
Dec 31 17:54:24 Starting compiler/encoders/ag32/proofs
Dec 31 17:57:08 Finished compiler/encoders/ag32/proofs                         2m43s 655MB
Dec 31 17:57:08 Starting compiler/backend/x64/proofs
Dec 31 17:57:30 Finished compiler/backend/x64/proofs                             20s   1GB
Dec 31 17:57:30 Starting compiler/backend/arm6/proofs
Dec 31 17:57:54 Finished compiler/backend/arm6/proofs                            22s   1GB
Dec 31 17:57:55 Starting compiler/backend/arm8/proofs
Dec 31 17:58:15 Finished compiler/backend/arm8/proofs                            19s   1GB
Dec 31 17:58:16 Starting compiler/backend/mips/proofs
Dec 31 17:58:37 Finished compiler/backend/mips/proofs                            20s   1GB
Dec 31 17:58:37 Starting compiler/backend/riscv/proofs
Dec 31 17:58:59 Finished compiler/backend/riscv/proofs                           21s   1GB
Dec 31 17:59:00 Starting compiler/backend/ag32/proofs
Dec 31 18:08:17 Finished compiler/backend/ag32/proofs                          9m16s   2GB
Dec 31 18:08:17 Starting compiler/proofs
Dec 31 18:09:40 Finished compiler/proofs                                       1m21s   3GB
Dec 31 18:09:41 Starting candle/set-theory
Dec 31 18:10:09 Finished candle/set-theory                                       27s 652MB
Dec 31 18:10:09 Starting candle/syntax-lib
Dec 31 18:10:20 Finished candle/syntax-lib                                       10s 664MB
Dec 31 18:10:21 Starting candle/standard/syntax
Dec 31 18:12:11 Finished candle/standard/syntax                                1m49s 981MB
Dec 31 18:12:12 Starting candle/standard/semantics
Dec 31 18:13:55 Finished candle/standard/semantics                             1m42s   1GB
Dec 31 18:13:56 Starting candle/standard/monadic
Dec 31 18:15:40 Finished candle/standard/monadic                               1m43s   1GB
Dec 31 18:15:41 Starting candle/standard/ml_kernel
Dec 31 18:30:42 Finished candle/standard/ml_kernel                            14m59s   5GB
Dec 31 18:30:42 Starting candle/standard/opentheory
Dec 31 18:39:38 Finished candle/standard/opentheory                            8m54s   4GB
Dec 31 18:39:38 Starting candle/standard/opentheory/compilation
Dec 31 19:08:17 Finished candle/standard/opentheory/compilation               28m38s  25GB
Dec 31 19:08:18 Starting candle/standard/opentheory/compilation/proofs
Dec 31 19:09:09 Finished candle/standard/opentheory/compilation/proofs           50s   5GB
Dec 31 19:09:10 Starting characteristic/examples
Dec 31 19:10:42 Finished characteristic/examples                               1m31s   2GB
Dec 31 19:10:42 Starting tutorial/solutions
Dec 31 19:23:59 Finished tutorial/solutions                                   13m16s   6GB
Dec 31 19:24:00 Starting translator/monadic/examples
Dec 31 19:26:10 Finished translator/monadic/examples                           2m09s   2GB
Dec 31 19:26:10 Starting examples
Dec 31 19:33:55 Finished examples                                              7m44s   3GB
Dec 31 19:33:56 Starting examples/compilation/x64
Dec 31 21:35:09 Finished examples/compilation/x64                           2h01m12s  14GB
Dec 31 21:35:10 Starting examples/compilation/x64/proofs
Dec 31 21:36:59 Finished examples/compilation/x64/proofs                       1m48s   5GB
Dec 31 21:37:00 Starting examples/compilation/ag32
Dec 31 22:04:47 Finished examples/compilation/ag32                            27m46s   6GB
Dec 31 22:04:48 Starting examples/compilation/ag32/proofs
Dec 31 22:05:36 Finished examples/compilation/ag32/proofs                        47s   4GB
Dec 31 22:05:37 Starting translator/okasaki-examples
Dec 31 22:09:42 Finished translator/okasaki-examples                           4m05s   1GB
Dec 31 22:09:43 Starting translator/other-examples
Dec 31 22:10:26 Finished translator/other-examples                               41s   1GB
Dec 31 22:10:26 Starting compiler/parsing/tests
Dec 31 22:10:55 Finished compiler/parsing/tests                                  27s 612MB
Dec 31 22:10:55 Starting compiler/inference/tests
Dec 31 22:14:53 Finished compiler/inference/tests                              3m56s   4GB
Dec 31 22:14:53 Starting compiler/bootstrap/translation
Jan 01 01:44:46 Finished compiler/bootstrap/translation                     3h29m50s  53GB
Jan 01 01:44:47 Starting unverified/sexpr-bootstrap/x64/64
Jan 01 01:53:06 Finished unverified/sexpr-bootstrap/x64/64                     8m17s  14GB
Jan 01 01:53:07 Starting unverified/sexpr-bootstrap/x64/32
Jan 01 01:57:56 Finished unverified/sexpr-bootstrap/x64/32                     4m46s  17GB
Jan 01 01:57:56 Starting compiler/bootstrap/compilation/x64/64
Jan 01 11:52:10 Finished compiler/bootstrap/compilation/x64/64              9h54m12s  63GB
Jan 01 11:52:11 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 01 11:58:46 Finished compiler/bootstrap/compilation/x64/64/proofs          6m34s  34GB
Jan 01 11:58:46 Starting compiler/bootstrap/compilation/x64/32
Jan 01 20:57:48 Finished compiler/bootstrap/compilation/x64/32              8h58m59s  64GB
Jan 01 20:57:48 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 01 21:03:40 Finished compiler/bootstrap/compilation/x64/32/proofs          5m51s  29GB
Jan 01 21:03:41 SUCCESS