Job 449

CakeML:080c0fc04f9aa4a0fd166dcf71c5b2a9375bbba8
  Fix a parsing issue in linear_scanProof [Aug 23 11:13:14]
#514 (linear-scan)
Merging into:48b96e8ed899928f3fa40f6f2237bb33e9ea8c25
  Merge pull request #512 from CakeML/translator-module-ctors [Aug 23 06:45:57]
HOL:b440d91de4ea0da60e3ebf207c5accaaf9892bf6
  Fix ParseDatatype bug when parsing Datatype syntax [Aug 23 00:55:32]
Machine:demi

Aug 23 11:15:04 Claimed job
Aug 23 11:15:11 Building HOL
Aug 23 11:27:30 Starting developers/bin
Aug 23 11:27:37 Finished developers/bin                                           6s 923MB
Aug 23 11:27:38 Starting semantics/ffi
Aug 23 11:28:35 Finished semantics/ffi                                           56s 401MB
Aug 23 11:28:35 Starting semantics
Aug 23 11:30:36 Finished semantics                                             2m00s 975MB
Aug 23 11:30:37 Starting semantics/proofs
Aug 23 11:34:27 Finished semantics/proofs                                      3m49s   1GB
Aug 23 11:34:28 Starting basis/pure
Aug 23 11:39:20 Finished basis/pure                                            4m52s 652MB
Aug 23 11:39:21 Starting translator
Aug 23 11:40:55 Finished translator                                            1m33s 969MB
Aug 23 11:40:56 Starting compiler/parsing
Aug 23 11:43:08 Finished compiler/parsing                                      2m11s   2GB
Aug 23 11:43:08 Starting characteristic
Aug 23 11:46:41 Finished characteristic                                        3m32s   1GB
Aug 23 11:46:42 Starting translator/monadic
Aug 23 11:48:44 Finished translator/monadic                                    2m01s   1GB
Aug 23 11:48:44 Starting basis
Aug 23 12:12:24 Finished basis                                                23m38s   3GB
Aug 23 12:12:24 Starting compiler/inference
Aug 23 12:14:46 Finished compiler/inference                                    2m21s   1GB
Aug 23 12:14:46 Starting compiler/backend/reg_alloc
Aug 23 12:15:52 Finished compiler/backend/reg_alloc                            1m05s   1GB
Aug 23 12:15:53 Starting compiler/backend/gc Aug 23 12:15:53 1s