Overview

Job 1251

CakeML:a681f0882be171571089b73430ae183a1a088a65
  remove heap/stack arguments
#738 (export_update)
Merging into:821014d04d6aa08f3cf595887516512be9982d10
  Get a few scripts to build
HOL:ac7497223d5845f2709250fa8fdcb566cbc2e1ae
  emacs-mode: make regexp searching case-sensitive; SOME not a q'fier
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Reusing HOL
 Starting developers
 Finished developers                                               4s 104MB
 Starting developers/bin
 Finished developers/bin                                           7s   1GB
 Starting semantics/ffi
 Finished semantics/ffi                                           11s 256MB
 Starting semantics
 Finished semantics                                             1m23s   1GB
 Starting semantics/proofs
 Finished semantics/proofs                                      3m31s 985MB
 Starting semantics/alt_semantics
 Finished semantics/alt_semantics                                  9s 303MB
 Starting semantics/alt_semantics/proofs
 Finished semantics/alt_semantics/proofs                        2m11s   1GB
 Starting basis/pure
 Finished basis/pure                                            3m03s   1GB
 Starting translator
 Resuming translator