Job 2321

CakeML:810a34cd13f13c7bd1cdf32f66e0b23ba83a7874
  more lab_conf/backend_config for arch [Mar 05 20:13:03]
#977 (share_mem_new2)
Merging into:865f0382dcffc38919b6d1ae355d103e3f570dc5
  Merge pull request #982 from CakeML/contexts [Mar 03 14:31:28]
HOL:f05effb80e1f085268cf2c2e77ea27f2dfcc707b
  add few finite map theorems [Feb 29 22:43:20]
Machine:pavlova

Mar 06 02:32:09 Claimed job
Mar 06 02:32:13 Reusing HOL
Mar 06 02:32:23 Starting developers
Mar 06 02:32:27 Finished developers                                               2s 209MB
Mar 06 02:32:28 Starting developers/bin
Mar 06 02:32:40 Finished developers/bin                                          11s   1GB
Mar 06 02:32:41 Starting compiler/proofs Mar 06 02:32:41 6528s