Job 1860

CakeML:ce7d2a18407525c943e5d48a2e9f60ee752d6f8e
  Fix translation for printing changes [Apr 08 09:54:26]
#872 (printing-type-check-each-dec)
Merging into:746be7b61665e6297b7ce29f70b74eec6efc7a79
  Merge pull request #873 from CakeML/issue871 [Apr 08 11:13:44]
HOL:3b1931c130fcab243da332adb2c1413c42c59cf9
  Escape # in TeX output [Apr 12 23:45:24]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Apr 16 01:27:35 Claimed job
Apr 16 01:27:41 Building HOL
Apr 16 01:39:39 Starting developers
Apr 16 01:39:45 Finished developers                                               5s  91MB
Apr 16 01:39:45 Starting developers/bin
Apr 16 01:39:53 Finished developers/bin                                           7s   1GB
Apr 16 01:39:53 Starting semantics/ffi
Apr 16 01:40:06 Finished semantics/ffi                                           12s 193MB
Apr 16 01:40:06 Starting semantics
Apr 16 01:42:55 Finished semantics                                             2m48s 993MB
Apr 16 01:42:56 Starting semantics/proofs
Apr 16 01:49:02 Finished semantics/proofs                                      6m05s   1GB
Apr 16 01:49:02 Starting semantics/alt_semantics
Apr 16 01:49:30 Finished semantics/alt_semantics                                 28s 505MB
Apr 16 01:49:30 Starting semantics/alt_semantics/proofs
Apr 16 01:53:24 Finished semantics/alt_semantics/proofs                        3m53s 635MB
Apr 16 01:53:24 Starting basis/pure
Apr 16 01:57:18 Finished basis/pure                                            3m53s 788MB
Apr 16 01:57:18 Starting translator
Apr 16 02:01:29 Finished translator                                            4m10s 637MB
Apr 16 02:01:30 Starting compiler/parsing
Apr 16 02:03:16 Finished compiler/parsing                                      1m46s   1GB
Apr 16 02:03:16 Starting characteristic
Apr 16 02:11:47 Finished characteristic                                        8m30s   1GB
Apr 16 02:11:47 Starting translator/monadic
Apr 16 02:14:21 Finished translator/monadic                                    2m33s   1GB
Apr 16 02:14:21 Starting basis
Apr 16 03:19:41 Finished basis                                              1h05m18s   2GB
Apr 16 03:19:42 Starting compiler/inference
Apr 16 03:21:32 Finished compiler/inference                                    1m50s   1GB
Apr 16 03:21:32 Starting compiler/backend/reg_alloc
Apr 16 03:23:47 Finished compiler/backend/reg_alloc                            2m14s 458MB
Apr 16 03:23:47 Starting compiler/backend/gc
Apr 16 03:29:55 Finished compiler/backend/gc                                   6m07s 800MB
Apr 16 03:29:55 Starting compiler/backend
Apr 16 03:38:21 Finished compiler/backend                                      8m25s 911MB
Apr 16 03:38:21 Starting compiler/encoders/asm
Apr 16 03:38:55 Finished compiler/encoders/asm                                   33s 878MB
Apr 16 03:38:56 Starting compiler/encoders/x64
Apr 16 03:40:37 Finished compiler/encoders/x64                                 1m41s 457MB
Apr 16 03:40:37 Starting compiler/encoders/arm7
Apr 16 03:43:20 Finished compiler/encoders/arm7                                2m42s   1GB
Apr 16 03:43:20 Starting compiler/encoders/arm8
Apr 16 03:44:19 Finished compiler/encoders/arm8                                  58s   1GB
Apr 16 03:44:19 Starting compiler/encoders/arm8_asl Apr 16 03:44:19 5370s