Overview

Job 597

CakeML:1b447042a65d0ce7c62341a3592d12b1a99eb144
  Fix word_elimProof for latest HOL
HOL:8649983c4924097c8a62e531247200c9bf24067c
  Fix bug in lexing of strings like x'0 followed by symbolic chars
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

 Claimed job
 Reusing HOL
 Starting developers/bin
 Finished developers/bin                                          34s 140MB
 Starting semantics/ffi
 Finished semantics/ffi                                           10s 269MB
 Starting semantics
 Finished semantics                                             1m22s 942MB
 Starting semantics/proofs
 Finished semantics/proofs                                      3m02s   1GB
 Starting basis/pure
 Finished basis/pure                                              52s 666MB
 Starting translator
 Finished translator                                            3m17s   1GB
 Starting compiler/parsing