Job 1085

CakeML:90b7cdde216ee33d1bf113626daeeaa3bdbaa8d8
  Replace direct calls to $< by exec [Nov 12 15:37:37]
#704 (sexpr-bootstrap-fix)
Merging into:a0a73be366a40123567f97a747fbaffa114b6352
  Merge pull request #700 from CakeML/iocatprog-fix [Nov 10 16:39:33]
HOL:98729fa718256b0fa48d19ca8a978029674fe5a9
  Clean an AKS theory for --expk; examples/AKS now builds there [Nov 11 23:10:55]
Machine:oven3 4.19.67.1.amd64-smp

Nov 13 05:15:15 Claimed job
Nov 13 05:15:20 Building HOL
Nov 13 05:38:12 Starting developers
Nov 13 05:38:19 Finished developers                                               6s 116MB
Nov 13 05:38:19 Starting developers/bin
Nov 13 05:38:33 Finished developers/bin                                          13s 967MB
Nov 13 05:38:33 Starting semantics/ffi
Nov 13 05:38:56 Finished semantics/ffi                                           22s 225MB
Nov 13 05:38:56 Starting semantics
Nov 13 05:41:51 Finished semantics                                             2m54s   1GB
Nov 13 05:41:51 Starting semantics/proofs
Nov 13 05:48:39 Finished semantics/proofs                                      6m47s   1GB
Nov 13 05:48:39 Starting semantics/alt_semantics
Nov 13 05:48:57 Finished semantics/alt_semantics                                 17s 322MB
Nov 13 05:48:57 Starting semantics/alt_semantics/proofs
Nov 13 05:52:56 Finished semantics/alt_semantics/proofs                        3m58s   1GB
Nov 13 05:52:56 Starting basis/pure
Nov 13 05:58:47 Finished basis/pure                                            5m50s 796MB
Nov 13 05:58:48 Starting translator
Nov 13 06:02:31 Finished translator                                            3m42s   1GB
Nov 13 06:02:31 Starting compiler/parsing
Nov 13 06:04:32 Finished compiler/parsing                                      2m00s   2GB
Nov 13 06:04:32 Starting characteristic
Nov 13 06:16:09 Finished characteristic                                       11m37s   1GB
Nov 13 06:16:09 Starting translator/monadic
Nov 13 06:19:18 Finished translator/monadic                                    3m08s   1GB
Nov 13 06:19:18 Starting basis
Nov 13 07:00:43 Finished basis                                                41m24s   2GB
Nov 13 07:00:43 Starting compiler/inference
Nov 13 07:04:42 Finished compiler/inference                                    3m58s   1GB
Nov 13 07:04:42 Starting compiler/backend/reg_alloc
Nov 13 07:06:33 Finished compiler/backend/reg_alloc                            1m51s   1GB
Nov 13 07:06:33 Starting compiler/backend/gc
Nov 13 07:12:49 Finished compiler/backend/gc                                   6m15s   1GB
Nov 13 07:12:49 Starting compiler/backend
Nov 13 07:19:48 Finished compiler/backend                                      6m58s   2GB
Nov 13 07:19:48 Starting compiler/encoders/asm
Nov 13 07:20:33 Finished compiler/encoders/asm                                   44s 691MB
Nov 13 07:20:33 Starting compiler/encoders/x64
Nov 13 07:22:39 Finished compiler/encoders/x64                                 2m05s 701MB
Nov 13 07:22:39 Starting compiler/encoders/arm7
Nov 13 07:26:23 Finished compiler/encoders/arm7                                3m44s   1GB
Nov 13 07:26:24 Starting compiler/encoders/arm8
Nov 13 07:27:33 Finished compiler/encoders/arm8                                1m09s 872MB
Nov 13 07:27:34 Starting compiler/encoders/mips
Nov 13 07:30:10 Finished compiler/encoders/mips                                2m36s   1GB
Nov 13 07:30:10 Starting compiler/encoders/riscv
Nov 13 07:33:11 Finished compiler/encoders/riscv                               3m00s   1GB
Nov 13 07:33:11 Starting compiler/encoders/ag32
Nov 13 07:33:48 Finished compiler/encoders/ag32                                  36s 553MB
Nov 13 07:33:48 Starting compiler/backend/x64
Nov 13 07:34:29 Finished compiler/backend/x64                                    40s   1GB
Nov 13 07:34:29 Starting compiler/backend/arm7
Nov 13 07:35:10 Finished compiler/backend/arm7                                   41s   1GB
Nov 13 07:35:10 Starting compiler/backend/arm8
Nov 13 07:35:46 Finished compiler/backend/arm8                                   35s   1GB
Nov 13 07:35:46 Starting compiler/backend/mips
Nov 13 07:36:25 Finished compiler/backend/mips                                   39s   1GB
Nov 13 07:36:26 Starting compiler/backend/riscv
Nov 13 07:37:05 Finished compiler/backend/riscv                                  39s   1GB
Nov 13 07:37:06 Starting compiler/backend/ag32
Nov 13 07:39:30 Finished compiler/backend/ag32                                 2m24s   1GB
Nov 13 07:39:30 Starting compiler/parsing/proofs
Nov 13 07:51:48 Finished compiler/parsing/proofs                              12m17s 877MB
Nov 13 07:51:48 Starting compiler/inference/proofs
Nov 13 07:58:14 Finished compiler/inference/proofs                             6m25s   1GB
Nov 13 07:58:14 Starting compiler/backend/semantics
Nov 13 08:10:08 Finished compiler/backend/semantics                           11m53s   1GB
Nov 13 08:10:08 Starting compiler/backend/reg_alloc/proofs
Nov 13 08:17:24 Finished compiler/backend/reg_alloc/proofs                     7m15s 836MB
Nov 13 08:17:24 Starting compiler/backend/proofs Nov 13 08:17:24 3072s