Job 2314

CakeML:6fdd9001e55186e918486840598c28ab03ce5e15
  update presLang for shared memory [Feb 29 21:13:01]
#977 (share_mem_new2)
Merging into:2dfec7f3c046be832517dafc6084be45d55e7082
  Merge pull request #983 from CakeML/fromsexpfix [Feb 29 22:18:07]
HOL:525694a1f1c7016dea954894bea6e6e396f7d6b3
  HolSmt: add unit tests for circular definitions [Feb 21 23:04:33]
Machine:pavlova

Feb 29 23:35:50 Claimed job
Feb 29 23:35:55 Reusing HOL
Feb 29 23:36:05 Starting developers
Feb 29 23:36:08 Finished developers                                               2s 169MB
Feb 29 23:36:09 Starting developers/bin
Feb 29 23:36:20 Finished developers/bin                                          10s   1GB
Feb 29 23:36:21 Starting compiler/proofs
Mar 01 01:25:48 Finished compiler/proofs                                    1h49m26s  45GB
Mar 01 01:25:49 Starting compiler/bootstrap/translation Mar 01 01:25:49 32430s