Job 1252

CakeML:821014d04d6aa08f3cf595887516512be9982d10
  Get a few scripts to build [Jun 06 05:53:50]
HOL:ac7497223d5845f2709250fa8fdcb566cbc2e1ae
  emacs-mode: make regexp searching case-sensitive; SOME not a q'fier [Jun 03 04:25:22]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jun 06 12:20:31 Claimed job
Jun 06 12:20:43 Building HOL
Jun 06 12:33:36 Starting developers
Jun 06 12:33:37 Finished developers                                               0s  30MB
Jun 06 12:33:37 Starting developers/bin
Jun 06 12:33:43 Finished developers/bin                                           6s   1GB
Jun 06 12:33:44 Starting semantics/ffi
Jun 06 12:33:53 Finished semantics/ffi                                            9s 240MB
Jun 06 12:33:53 Starting semantics
Jun 06 12:35:23 Finished semantics                                             1m29s 984MB
Jun 06 12:35:23 Starting semantics/proofs
Jun 06 12:38:37 Finished semantics/proofs                                      3m14s 895MB
Jun 06 12:38:38 Starting semantics/alt_semantics
Jun 06 12:38:46 Finished semantics/alt_semantics                                  8s 353MB
Jun 06 12:38:46 Starting semantics/alt_semantics/proofs
Jun 06 12:40:52 Finished semantics/alt_semantics/proofs                        2m05s 897MB
Jun 06 12:40:52 Starting basis/pure
Jun 06 12:43:45 Finished basis/pure                                            2m52s 764MB
Jun 06 12:43:45 Starting translator Jun 06 12:43:45 98s