CakeML Regression Test

Job 388

CakeML:e15eeefed9e61ed59ae4d445d9906f27ac8c97a0
  Fix a broken proof in to_dataProg [Jul 29 17:48:57]
#500 (type+module-update)
Merging into:23cc9570170886049d38a6618b8ba5de610d7082
  Fix unverified sexp printer for wildcard patterns [Jul 26 11:13:53]
HOL:d957bf561f9b80133ee4e51cf739610cb249c06a
  Merge branch 'master' of https://github.com/HOL-Theorem-Prover/HOL [Jul 26 14:33:08]
Machine:oven1 (2) 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Jul 29 21:13:18 Claimed job
Jul 29 21:13:28 Building HOL
Jul 29 21:22:15 Starting developers/bin
Jul 29 21:22:54 Finished developers/bin                                          38s 925MB
Jul 29 21:22:54 Starting semantics/ffi
Jul 29 21:23:34 Finished semantics/ffi                                           38s 385MB
Jul 29 21:23:34 Starting semantics
Jul 29 21:24:59 Finished semantics                                             1m24s 914MB
Jul 29 21:25:00 Starting semantics/proofs
Jul 29 21:27:41 Finished semantics/proofs                                      2m41s   1GB
Jul 29 21:27:42 Starting basis/pure
Jul 29 21:31:13 Finished basis/pure                                            3m30s 652MB
Jul 29 21:31:13 Starting translator
Jul 29 21:32:48 Finished translator                                            1m34s 929MB
Jul 29 21:32:49 Starting compiler/parsing
Jul 29 21:34:23 Finished compiler/parsing                                      1m33s   2GB
Jul 29 21:34:23 Starting characteristic
Jul 29 21:36:44 Finished characteristic                                        2m20s   1GB
Jul 30 08:13:00 Resuming basis