Job 2256

CakeML:2905913182b409255572ca87728f8bacd1521c5e
  Update for ffiname [Dec 17 05:08:06]
#976 (ffiname)
Merging into:4ce61c307e8542262db1b33ca6bbaba2473fd1e0
  Fix linear_scanProof given change in HOL [Dec 13 00:34:12]
HOL:d587e1c70b4c059edc079ed4a529b5b7423223b8
  Add ltree_every and ltree_finite_branching (#1172) [Dec 11 22:22:54]
Machine:pavlova

Dec 17 15:01:00 Claimed job
Dec 17 15:01:04 Reusing HOL
Dec 17 15:01:14 Starting developers
Dec 17 15:01:18 Finished developers                                               2s 194MB
Dec 17 15:01:19 Starting developers/bin
Dec 17 15:01:30 Finished developers/bin                                          10s   1GB
Dec 17 15:01:31 Starting compiler/proofs
Dec 17 16:43:59 Finished compiler/proofs                                    1h42m26s  30GB
Dec 17 16:44:00 Starting compiler/bootstrap/translation Dec 17 16:44:00 32412s