Job 2628

CakeML:283d3066096e12168a754375b0711d33518c5938
  Merge pull request #1056 from CakeML/new-quotes [Sep 29 07:23:28]
HOL:e1640d96f40e98a9d5b7ad0907e652a0e665bcab
  Prove a number of theorems about list$adjacent [Sep 27 00:50:51]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Sep 30 08:57:05 Claimed job
Sep 30 08:57:12 Building HOL
Sep 30 09:11:07 Starting developers
Sep 30 09:11:13 Finished developers                                               5s 130MB
Sep 30 09:11:13 Starting developers/bin
Sep 30 09:11:19 Finished developers/bin                                           5s   1GB
Sep 30 09:11:19 Starting compiler/proofs
Oct 01 08:19:02 Resuming compiler/proofs
Oct 01 09:10:24 Finished compiler/proofs                                      51m22s  16GB
Oct 01 09:10:24 Starting compiler/bootstrap/translation Oct 01 09:10:24 32412s