CakeML Regression Test

Job 1888

CakeML:20756478e2f4cf2695b328fbd439b013f07840d6
  Update REPL proofs [May 06 05:34:34]
#865 (Iced_cake)
Merging into:d49028c882e2061b0b85fe1f775e9d1c157b9b23
  Merge pull request #882 from mktnk3/time_to_pan_cleanup [May 02 07:00:59]
HOL:9ef7738eaecdb725492f0929f6b270d1f4e63a40
  Teach Holmake and Parse.sml about the tmux terminal [Apr 28 21:56:05]
Machine:oven3

May 06 05:35:05 Claimed job
May 06 05:35:16 Reusing HOL
May 06 05:36:14 Starting developers
May 06 05:36:24 Finished developers                                               9s 133MB
May 06 05:36:24 Starting developers/bin
May 06 05:36:37 Finished developers/bin                                          12s   1GB
May 06 05:36:37 Starting semantics/ffi
May 06 05:37:04 Finished semantics/ffi                                           27s 252MB
May 06 05:37:05 Starting semantics
May 06 05:42:01 Finished semantics                                             4m56s   1GB
May 06 05:42:02 Starting semantics/proofs
May 06 05:57:29 Finished semantics/proofs                                     15m26s   1GB
May 06 05:57:29 Starting semantics/alt_semantics
May 06 05:58:29 Finished semantics/alt_semantics                                 59s 522MB
May 06 05:58:29 Starting semantics/alt_semantics/proofs
May 06 06:24:00 Finished semantics/alt_semantics/proofs                       25m30s   2GB
May 06 06:24:00 Starting basis/pure
May 06 06:26:13 Finished basis/pure                                            2m13s 887MB
May 06 06:26:14 Starting translator
May 06 06:34:19 Finished translator                                            8m05s   1GB
May 06 06:34:20 Starting compiler/parsing
May 06 06:37:11 Finished compiler/parsing                                      2m51s   5GB
May 06 06:37:12 Starting characteristic
May 06 06:51:43 Finished characteristic                                       14m31s   1GB
May 06 06:51:43 Starting translator/monadic
May 06 06:55:49 Finished translator/monadic                                    4m05s   1GB
May 06 06:55:49 Starting basis May 06 06:55:49 1845s