CakeML Regression Test

Job 2828

CakeML:9c4b1e153d59914ac9f5f04f59b29f98ec108de2
  Fix data_to_word [May 12 15:55:10]
#1177 (clos_do_word_app)
Merging into:32ce1c1df6c29061c81e37b612ce1a4e48f040d7
  Merge pull request #1169 from talsewell/pan-const-multiply [May 13 09:58:29]
HOL:725300ce5d22e30174177682d5870306852113d5
  Apply a patch to lem_relation before Holmake runs [May 09 00:00:24]
Machine:lammmington

May 13 10:02:04 Claimed job
May 13 10:02:10 Reusing HOL
May 13 10:02:21 Starting developers
May 13 10:02:25 Finished developers                                               3s 194MB
May 13 10:02:26 Starting developers/bin
May 13 10:02:31 Finished developers/bin                                           3s 592MB
May 13 10:02:32 Starting misc
May 13 10:03:13 Finished misc                                                    40s   2GB
May 13 10:03:14 Starting compiler/proofs May 13 10:03:14 6051s