Job 2932

CakeML:6ba6ad6726e2d6122f6d21a11abd921a3651b1fd
  Update NEWS.md [Aug 21 07:00:53]
HOL:466a40abe43a384327cf9fd1ada840fa176b961d
  Change bossLib.oneline to preserve input hypotheses as hypotheses [Aug 02 07:09:04]
Machine:lammmington

Aug 21 07:21:54 Claimed job
Aug 21 07:21:58 Reusing HOL
Aug 21 07:22:06 Starting developers
Aug 21 07:22:10 Finished developers                                               3s 221MB
Aug 21 07:22:11 Starting developers/bin
Aug 21 07:22:15 Finished developers/bin                                           3s 594MB
Aug 21 07:22:16 Starting misc
Aug 21 07:22:57 Finished misc                                                    39s   1GB
Aug 21 07:22:58 Starting compiler/proofs
Aug 21 08:47:06 Finished compiler/proofs                                    1h24m07s  30GB
Aug 21 08:47:07 Starting compiler/bootstrap/translation Aug 21 08:47:07 19707s