Job 1251

CakeML:a681f0882be171571089b73430ae183a1a088a65
  remove heap/stack arguments [May 25 05:14:54]
#738 (export_update)
Merging into: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:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jun 06 06:00:09 Claimed job
Jun 06 06:00:11 Reusing HOL
Jun 06 06:00:58 Starting developers
Jun 06 06:01:02 Finished developers                                               4s 104MB
Jun 06 06:01:02 Starting developers/bin
Jun 06 06:01:10 Finished developers/bin                                           7s   1GB
Jun 06 06:01:10 Starting semantics/ffi
Jun 06 06:01:22 Finished semantics/ffi                                           11s 256MB
Jun 06 06:01:22 Starting semantics
Jun 06 06:02:46 Finished semantics                                             1m23s   1GB
Jun 06 06:02:46 Starting semantics/proofs
Jun 06 06:06:18 Finished semantics/proofs                                      3m31s 985MB
Jun 06 06:06:18 Starting semantics/alt_semantics
Jun 06 06:06:28 Finished semantics/alt_semantics                                  9s 303MB
Jun 06 06:06:28 Starting semantics/alt_semantics/proofs
Jun 06 06:08:39 Finished semantics/alt_semantics/proofs                        2m11s   1GB
Jun 06 06:08:39 Starting basis/pure
Jun 06 06:11:43 Finished basis/pure                                            3m03s   1GB
Jun 06 06:11:43 Starting translator
Jun 06 12:23:26 Resuming translator