Job 2383

CakeML:62443858b89bb611cdb6700c244844c66d4419c6
  Fix Pancake error message line number reporting [May 06 01:26:02]
#993 (pan_errors)
Merging into:d4f0662af8596e6f964e54519b206be44e5b9f71
  Merge pull request #992 from CakeML/cf-fixes [Apr 28 06:49:36]
HOL:e006edd4c63dd1e725e8e19b18807bb13f96db1e
  Fix bug in cv_typeLib (translation failed in limited grammar ctxts) [Apr 30 05:56:04]
Machine:lammmington

May 06 01:37:54 Claimed job
May 06 01:38:01 Building HOL
May 06 01:52:32 Starting developers
May 06 01:52:35 Finished developers                                               2s 215MB
May 06 01:52:36 Starting developers/bin
May 06 01:52:48 Finished developers/bin                                          10s   1GB
May 06 01:52:49 Starting compiler/proofs
May 06 03:44:37 Finished compiler/proofs                                    1h51m47s  45GB
May 06 03:44:37 Starting compiler/bootstrap/translation May 06 03:44:37 32412s