Job 1109

CakeML:71b306fb43e3ee260109a3bd41496a7873aed44f
  Avoid ARB in configs [Nov 28 10:05:57]
#707 (data-cost)
Merging into:c472a5c9eeea5c1d67e039697cb3e0f1c4e10831
  Fix a proof and some terrible indentation [Nov 28 06:33:56]
HOL:481761b292689788e0b28e013337d6a16c4a6fa4
  adding back combinTheory dependency to hhExportLib [Nov 26 08:34:04]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 28 14:00:03 Claimed job
Nov 28 14:00:16 Reusing HOL
Nov 28 14:01:03 Starting developers
Nov 28 14:01:08 Finished developers                                               4s  96MB
Nov 28 14:01:08 Starting developers/bin
Nov 28 14:02:37 Finished developers/bin                                        1m28s 960MB
Nov 28 14:02:37 Starting semantics/ffi
Nov 28 14:02:47 Finished semantics/ffi                                            9s 207MB
Nov 28 14:02:47 Starting semantics
Nov 28 14:04:05 Finished semantics                                             1m17s   1GB
Nov 28 14:04:05 Starting semantics/proofs
Nov 28 14:07:02 Finished semantics/proofs                                      2m56s 942MB
Nov 28 14:07:02 Starting semantics/alt_semantics
Nov 28 14:07:10 Finished semantics/alt_semantics                                  7s 265MB
Nov 28 14:07:10 Starting semantics/alt_semantics/proofs
Nov 28 14:08:59 Finished semantics/alt_semantics/proofs                        1m48s 750MB
Nov 28 14:08:59 Starting basis/pure
Nov 28 14:09:47 Finished basis/pure                                              47s 888MB
Nov 28 14:09:47 Starting translator
Nov 28 14:11:35 Finished translator                                            1m47s   1GB
Nov 28 14:11:35 Starting compiler/parsing
Nov 28 14:12:40 Finished compiler/parsing                                      1m04s   1GB
Nov 28 14:12:40 Starting characteristic Nov 28 14:12:40 0s