CakeML Regression Test

Job 606

CakeML:7d886feea83cb942843114a0a1bc053907b64ffd
  Fix reference to moved installed constant [Dec 04 04:06:19]
#572 (cleanup)
Merging into:8b46c3a87cb343ec13b54a05bfb531841eb60955
  Fix bug in tag_name (picks an unused cons name) [Dec 03 04:19:52]
HOL:0f41b430dba6521a505fd78da96fbf00252bfaa9
  Fix errors introduced by over-enthusiastic reformatting in 97b7d1900 [Dec 04 03:50:15]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Dec 04 04:22:03 Claimed job
Dec 04 04:28:56 Building HOL
Dec 04 04:36:26 Starting developers
Dec 04 04:36:27 Finished developers                                               0s  29MB
Dec 04 04:36:28 Starting developers/bin
Dec 04 04:37:00 Finished developers/bin                                          31s 202MB
Dec 04 04:37:00 Starting semantics/ffi
Dec 04 04:37:35 Finished semantics/ffi                                           33s 468MB
Dec 04 04:37:35 Starting semantics
Dec 04 04:39:04 Finished semantics                                             1m28s 914MB
Dec 04 04:39:05 Starting semantics/proofs
Dec 04 04:42:06 Finished semantics/proofs                                      2m59s   1GB
Dec 04 04:42:06 Starting basis/pure
Dec 04 05:04:21 Resuming basis/pure