Job 1079

CakeML:bd5bdd78f065a707eec33399d5378e5a7a7ba918
  Add CAKE_BIN as a dependency to cake.S in unverified bootstrap [Nov 12 13:58:56]
#704 (sexpr-bootstrap-fix)
Merging into:a0a73be366a40123567f97a747fbaffa114b6352
  Merge pull request #700 from CakeML/iocatprog-fix [Nov 10 16:39:33]
HOL:63cafe0c6fe8ccc9745d4df57ceeeed75f009fc2
  Holmake: prevent starred dependencies from spawning 2 jobs [Nov 05 03:23:34]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 12 14:11:12 Claimed job
Nov 12 14:11:20 Building HOL
Nov 12 14:22:02 Starting developers
Nov 12 14:22:06 Finished developers                                               3s  80MB
Nov 12 14:22:06 Starting developers/bin
Nov 12 14:22:13 Finished developers/bin                                           6s 960MB
Nov 12 14:22:13 Starting semantics/ffi
Nov 12 14:22:22 Finished semantics/ffi                                            9s 232MB
Nov 12 14:22:22 Starting semantics
Nov 12 14:23:48 Finished semantics                                             1m25s 943MB
Nov 12 14:23:49 Starting semantics/proofs
Nov 12 14:26:46 Finished semantics/proofs                                      2m57s   1GB
Nov 12 14:26:47 Starting semantics/alt_semantics
Nov 12 14:26:54 Finished semantics/alt_semantics                                  7s 310MB
Nov 12 14:26:55 Starting semantics/alt_semantics/proofs
Nov 12 14:28:42 Finished semantics/alt_semantics/proofs                        1m46s   1GB
Nov 12 14:28:42 Starting basis/pure
Nov 12 14:31:29 Finished basis/pure                                            2m47s 818MB
Nov 12 14:31:29 Starting translator
Nov 12 14:33:16 Finished translator                                            1m46s   1GB
Nov 12 14:33:16 Starting compiler/parsing
Nov 12 14:34:14 Finished compiler/parsing                                        57s   1GB
Nov 12 14:34:14 Starting characteristic
Nov 12 14:39:30 Finished characteristic                                        5m15s   1GB
Nov 12 14:39:30 Starting translator/monadic
Nov 12 14:40:57 Finished translator/monadic                                    1m27s   1GB
Nov 12 14:40:57 Starting basis
Nov 12 15:00:23 Finished basis                                                19m25s   2GB
Nov 12 15:00:23 Starting compiler/inference
Nov 12 15:02:10 Finished compiler/inference                                    1m46s   1GB
Nov 12 15:02:10 Starting compiler/backend/reg_alloc
Nov 12 15:03:10 Finished compiler/backend/reg_alloc                              59s   1GB
Nov 12 15:03:10 Starting compiler/backend/gc
Nov 12 15:06:24 Finished compiler/backend/gc                                   3m14s   2GB
Nov 12 15:06:24 Starting compiler/backend
Nov 12 15:10:02 Finished compiler/backend                                      3m38s   2GB
Nov 12 15:10:03 Starting compiler/encoders/asm
Nov 12 15:10:23 Finished compiler/encoders/asm                                   20s 576MB
Nov 12 15:10:23 Starting compiler/encoders/x64
Nov 12 15:11:16 Finished compiler/encoders/x64                                   53s 639MB
Nov 12 15:11:17 Starting compiler/encoders/arm7
Nov 12 15:12:56 Finished compiler/encoders/arm7                                1m39s   1GB
Nov 12 15:12:56 Starting compiler/encoders/arm8
Nov 12 15:13:28 Finished compiler/encoders/arm8                                  31s 641MB
Nov 12 15:13:28 Starting compiler/encoders/mips
Nov 12 15:14:35 Finished compiler/encoders/mips                                1m06s 835MB
Nov 12 15:14:35 Starting compiler/encoders/riscv
Nov 12 15:15:54 Finished compiler/encoders/riscv                               1m18s   1GB
Nov 12 15:15:54 Starting compiler/encoders/ag32
Nov 12 15:16:11 Finished compiler/encoders/ag32                                  16s 720MB
Nov 12 15:16:11 Starting compiler/backend/x64
Nov 12 15:16:28 Finished compiler/backend/x64                                    16s   1GB
Nov 12 15:16:28 Starting compiler/backend/arm7
Nov 12 15:16:47 Finished compiler/backend/arm7                                   19s   1GB
Nov 12 15:16:48 Starting compiler/backend/arm8
Nov 12 15:17:05 Finished compiler/backend/arm8                                   16s   1GB
Nov 12 15:17:05 Starting compiler/backend/mips
Nov 12 15:17:22 Finished compiler/backend/mips                                   17s   1GB
Nov 12 15:17:23 Starting compiler/backend/riscv
Nov 12 15:17:41 Finished compiler/backend/riscv                                  17s   1GB
Nov 12 15:17:41 Starting compiler/backend/ag32
Nov 12 15:18:46 Finished compiler/backend/ag32                                 1m05s   1GB
Nov 12 15:18:46 Starting compiler/parsing/proofs
Nov 12 15:24:23 Finished compiler/parsing/proofs                               5m37s   1GB
Nov 12 15:24:24 Starting compiler/inference/proofs
Nov 12 15:27:08 Finished compiler/inference/proofs                             2m44s   1GB
Nov 12 15:27:09 Starting compiler/backend/semantics
Nov 12 15:33:08 Finished compiler/backend/semantics                            5m59s   1GB
Nov 12 15:33:08 Starting compiler/backend/reg_alloc/proofs
Nov 12 15:36:23 Finished compiler/backend/reg_alloc/proofs                     3m15s 959MB
Nov 12 15:36:24 Starting compiler/backend/proofs Nov 12 15:36:24 3077s