Overview

Job 1252

CakeML:821014d04d6aa08f3cf595887516512be9982d10
  Get a few scripts to build
HOL:ac7497223d5845f2709250fa8fdcb566cbc2e1ae
  emacs-mode: make regexp searching case-sensitive; SOME not a q'fier
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

 Claimed job
 Building HOL
 Starting developers
 Finished developers                                               0s  30MB
 Starting developers/bin
 Finished developers/bin                                           6s   1GB
 Starting semantics/ffi
 Finished semantics/ffi                                            9s 240MB
 Starting semantics
 Finished semantics                                             1m29s 984MB
 Starting semantics/proofs
 Finished semantics/proofs                                      3m14s 895MB
 Starting semantics/alt_semantics
 Finished semantics/alt_semantics                                  8s 353MB
 Starting semantics/alt_semantics/proofs
 Finished semantics/alt_semantics/proofs                        2m05s 897MB
 Starting basis/pure
 Finished basis/pure                                            2m52s 764MB
 Starting translator