Job 2664

CakeML:b562031a45762ae7bdef8c1a2f02c4660d33b65e
  Fix typo in parse error handling code [Oct 18 08:35:54]
#1073 (pan_parseErrFix)
Merging into:b6191f1bbb09fcc35807b2f78582e8ed75393f5a
  Merge pull request #1069 from CakeML/remove-simple-qprove [Oct 16 18:48:00]
HOL:07c84bff2b89ddb2c81c57884f4141bbc37accdb
  Fix cv_compute regression test to cope with case-sensitive files [Oct 15 03:20:04]
Machine:lammmington

Oct 18 17:36:04 Claimed job
Oct 18 17:36:08 Reusing HOL
Oct 18 17:36:20 Starting developers
Oct 18 17:36:25 Finished developers                                               3s 221MB
Oct 18 17:36:25 Starting developers/bin
Oct 18 17:36:46 Finished developers/bin                                          19s   1GB
Oct 18 17:36:47 Starting compiler/proofs
Oct 18 19:19:57 Finished compiler/proofs                                    1h43m09s  45GB
Oct 18 19:19:58 Starting compiler/bootstrap/translation Oct 18 19:19:58 32412s