Job 3499

CakeML:857f0d98da8f8a3580f34423338e697809308ede
  Merge pull request #1470 from CakeML/pan_news [Sep 02 09:35:13]
HOL:e395eb6e69054ff6f7cef9d1107fd1a04dd5848f
  A Quote body is verbatim material [Sep 02 10:49:13]
Machine:pavlova

Sep 03 10:51:30 Claimed job
Sep 03 10:51:36 Building HOL
Sep 03 11:06:06 Starting developers
Sep 03 11:06:59 Finished developers                                              52s   1GB
Sep 03 11:07:00 Starting developers/bin
Sep 03 11:07:09 Finished developers/bin                                           7s   1GB
Sep 03 11:07:10 Starting misc
Sep 03 11:08:19 Finished misc                                                  1m08s   1GB
Sep 03 11:08:20 Starting compiler/proofs
Sep 03 12:30:59 Finished compiler/proofs                                    1h22m38s  11GB
Sep 03 12:31:00 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 03 19:05:43 Finished compiler/bootstrap/compilation/x64/64/proofs       6h34m41s 104GB
Sep 03 19:05:43 Starting semantics/ffi
Sep 03 19:06:07 Finished semantics/ffi                                           22s   1GB
Sep 03 19:06:08 Starting semantics
Sep 03 19:06:14 Finished semantics                                                5s   1GB
Sep 03 19:06:15 Starting semantics/proofs
Sep 03 19:06:45 Finished semantics/proofs                                        29s   1GB
Sep 03 19:06:46 Starting semantics/alt_semantics
Sep 03 19:07:09 Finished semantics/alt_semantics                                 22s   1GB
Sep 03 19:07:10 Starting semantics/alt_semantics/proofs
Sep 03 19:11:12 Finished semantics/alt_semantics/proofs                        4m01s   1GB
Sep 03 19:11:13 Starting basis/pure
Sep 03 19:11:20 Finished basis/pure                                               6s   1GB
Sep 03 19:11:21 Starting translator
Sep 03 19:12:40 Finished translator                                            1m17s   2GB
Sep 03 19:12:41 Starting compiler/parsing
Sep 03 19:13:35 Finished compiler/parsing                                        53s   2GB
Sep 03 19:13:36 Starting characteristic
Sep 03 19:13:43 Finished characteristic                                           5s   1GB
Sep 03 19:13:43 Starting translator/monadic
Sep 03 19:13:50 Finished translator/monadic                                       5s   1GB
Sep 03 19:13:51 Starting translator/monadic/monad_base
Sep 03 19:13:57 Finished translator/monadic/monad_base                            5s   1GB
Sep 03 19:13:58 Starting profiler
Sep 03 19:14:33 Finished profiler                                                34s   1GB
Sep 03 19:14:34 Starting basis
Sep 03 19:16:31 Finished basis                                                 1m55s   4GB
Sep 03 19:16:31 Starting compiler
Sep 03 19:16:38 Finished compiler                                                 5s   1GB
Sep 03 19:16:39 Starting compiler/inference
Sep 03 19:16:45 Finished compiler/inference                                       5s   1GB
Sep 03 19:16:46 Starting compiler/backend/reg_alloc
Sep 03 19:16:53 Finished compiler/backend/reg_alloc                               5s   1GB
Sep 03 19:16:54 Starting compiler/backend/gc
Sep 03 19:17:00 Finished compiler/backend/gc                                      5s   1GB
Sep 03 19:17:01 Starting compiler/backend
Sep 03 19:17:08 Finished compiler/backend                                         5s   1GB
Sep 03 19:17:08 Starting compiler/encoders/asm
Sep 03 19:17:15 Finished compiler/encoders/asm                                    5s   1GB
Sep 03 19:17:16 Starting compiler/encoders/x64
Sep 03 19:17:22 Finished compiler/encoders/x64                                    5s   1GB
Sep 03 19:17:23 Starting compiler/encoders/arm7
Sep 03 19:17:29 Finished compiler/encoders/arm7                                   5s   1GB
Sep 03 19:17:30 Starting compiler/encoders/arm8
Sep 03 19:17:37 Finished compiler/encoders/arm8                                   5s   1GB
Sep 03 19:17:38 Starting compiler/encoders/arm8_asl Sep 03 19:17:38 1645s