CakeML Regression Test

Job 3421

CakeML:ad5fbb61e3c7b92981fda381bc617a75b9f5d0e3
  Remove more INCLUDES lines [Jun 25 07:17:34]
#1427 (holprojs)
Merging into:d4ce405e105cef3b7901d0f89694c41597bb8b22
  Merge pull request #1431 from CakeML/pb_str_to_core [Jul 04 16:05:56]
HOL:1d9f33ad168d3823cc070223d83ea660d86dcb58
  Invert ParoundPrec, and use it to bracket stacked suffixes [Jun 24 01:00:44]
Machine:timtam

Jul 04 16:09:13 Claimed job
Jul 04 16:09:21 Reusing HOL
Jul 04 16:09:29 Starting developers
Jul 04 16:10:17 Finished developers                                              47s   1GB
Jul 04 16:10:18 Starting developers/bin
Jul 04 16:10:29 Finished developers/bin                                           9s   1GB
Jul 04 16:10:29 Starting misc
Jul 04 16:11:19 Finished misc                                                    48s   1GB
Jul 04 16:11:20 Starting compiler/proofs
Jul 04 17:23:58 Finished compiler/proofs                                    1h12m37s   8GB
Jul 04 17:23:59 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 05 00:10:18 Finished compiler/bootstrap/compilation/x64/64/proofs       6h46m18s 101GB