CakeML Regression Test

Job 1613

CakeML:11ce5f9be7a62a7a9d1e8fc232d385c48c16d833
  Hook up decoder to bootstrap translation [Oct 21 06:45:24]
#841 (eval)
Merging into:e7a5c005596708fcf02ba333f849a5ae1eefdf8a
  Merge pull request #839 from CakeML/lpr_transform [Oct 03 11:04:50]
HOL:cada10ccbffc01a09a20b813f3049b3b88b33d4b
  Fix problems to with lexing of string literals inside HOL terms [Oct 28 23:50:37]
Machine:oven3 4.19.67.1.amd64-smp

Oct 29 06:09:51 Claimed job
Oct 29 06:10:06 Building HOL
Oct 29 06:34:44 Starting developers
Oct 29 06:34:52 Finished developers                                               7s 140MB
Oct 29 06:34:52 Starting developers/bin
Oct 29 06:35:04 Finished developers/bin                                          12s   1GB
Oct 29 06:35:04 Starting semantics/ffi
Oct 29 06:35:29 Finished semantics/ffi                                           24s 277MB
Oct 29 06:35:29 Starting semantics
Oct 29 06:38:43 Finished semantics                                             3m12s   1GB
Oct 29 06:38:43 Starting semantics/proofs
Oct 29 06:46:45 Finished semantics/proofs                                      8m02s   1GB
Oct 29 06:46:46 Starting semantics/alt_semantics
Oct 29 06:47:12 Finished semantics/alt_semantics                                 26s 421MB
Oct 29 06:47:13 Starting semantics/alt_semantics/proofs
Oct 29 06:52:27 Finished semantics/alt_semantics/proofs                        5m13s   1GB
Oct 29 06:52:27 Starting basis/pure
Oct 29 06:58:33 Finished basis/pure                                            6m05s   1GB
Oct 29 06:58:33 Starting translator
Oct 29 07:05:24 Finished translator                                            6m50s   1GB
Oct 29 07:05:24 Starting compiler/parsing
Oct 29 07:08:00 Finished compiler/parsing                                      2m35s   3GB
Oct 29 07:08:00 Starting characteristic
Oct 29 07:20:06 Finished characteristic                                       12m05s   2GB
Oct 29 07:20:06 Starting translator/monadic
Oct 29 07:23:39 Finished translator/monadic                                    3m33s   1GB
Oct 29 07:23:40 Starting basis
Oct 29 09:03:01 Finished basis                                              1h39m20s   8GB
Oct 29 09:03:01 Starting compiler/inference Oct 29 09:03:01 98s