Job 2624

CakeML:cbad3080ab75bc72ce4ab37402cdfb36a8cd55e0
  Remove remaining _ = Define ... manually [Sep 28 07:58:40]
#1059 (new-define-_)
Merging into:283d3066096e12168a754375b0711d33518c5938
  Merge pull request #1056 from CakeML/new-quotes [Sep 29 07:23:28]
HOL:72a01e7935ee7175f22527332d54ac58085668ed
  Add more primitive proof rules [Sep 23 23:08:36]
Machine:pavlova

Sep 29 07:31:55 Claimed job
Sep 29 07:32:00 Reusing HOL
Sep 29 07:32:11 Starting developers
Sep 29 07:32:15 Finished developers                                               3s 219MB
Sep 29 07:32:16 Starting developers/bin
Sep 29 07:32:40 Finished developers/bin                                          22s   1GB
Sep 29 07:32:41 Starting compiler/proofs
Sep 29 09:16:41 Finished compiler/proofs                                    1h43m58s  36GB
Sep 29 09:16:41 Starting compiler/bootstrap/translation Sep 29 09:16:41 32412s