Overview

Job 1109

CakeML:71b306fb43e3ee260109a3bd41496a7873aed44f
  Avoid ARB in configs
#707 (data-cost)
Merging into:c472a5c9eeea5c1d67e039697cb3e0f1c4e10831
  Fix a proof and some terrible indentation
HOL:481761b292689788e0b28e013337d6a16c4a6fa4
  adding back combinTheory dependency to hhExportLib
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Reusing HOL
 Starting developers
 Finished developers                                               4s  96MB
 Starting developers/bin
 Finished developers/bin                                        1m28s 960MB
 Starting semantics/ffi
 Finished semantics/ffi                                            9s 207MB
 Starting semantics
 Finished semantics                                             1m17s   1GB
 Starting semantics/proofs
 Finished semantics/proofs                                      2m56s 942MB
 Starting semantics/alt_semantics
 Finished semantics/alt_semantics                                  7s 265MB
 Starting semantics/alt_semantics/proofs
 Finished semantics/alt_semantics/proofs                        1m48s 750MB
 Starting basis/pure
 Finished basis/pure                                              47s 888MB
 Starting translator
 Finished translator                                            1m47s   1GB
 Starting compiler/parsing
 Finished compiler/parsing                                      1m04s   1GB
 Starting characteristic