CakeML Regression Test

Job 1667

CakeML:adfe15ad7735ba36dea23e8a1721154e525f7e63
  Merge remote-tracking branch 'origin/pattern-aliases' into clos-smart-op [Nov 25 10:35:15]
#847 (clos-smart-op)
Merging into:99fb6df32493efb4c9ae4d7f6675e49fc2628b2b
  Merge pull request #842 from CakeML/ramsey [Nov 18 19:39:38]
HOL:c5bed31fdad7e6c6441763e382100c293b95f69f
  Use Portable.genwith_flag to implement AncestryData.with_temp_value [Nov 25 06:29:55]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Nov 26 08:32:27 Claimed job
Nov 26 08:32:32 Building HOL
Nov 26 08:41:52 Starting developers
Nov 26 08:41:56 Finished developers                                               4s 152MB
Nov 26 08:41:56 Starting developers/bin
Nov 26 08:42:03 Finished developers/bin                                           6s   1GB
Nov 26 08:42:03 Starting semantics/ffi
Nov 26 08:42:11 Finished semantics/ffi                                            8s 233MB
Nov 26 08:42:11 Starting semantics
Nov 26 08:43:43 Finished semantics                                             1m31s   1GB
Nov 26 08:43:43 Starting semantics/proofs
Nov 26 08:47:17 Finished semantics/proofs                                      3m33s   1GB
Nov 26 08:47:17 Starting semantics/alt_semantics
Nov 26 08:47:29 Finished semantics/alt_semantics                                 11s 393MB
Nov 26 08:47:29 Starting semantics/alt_semantics/proofs
Nov 26 08:49:53 Finished semantics/alt_semantics/proofs                        2m23s   1GB
Nov 26 08:49:53 Starting basis/pure Nov 26 08:49:53 157s