CakeML Regression Test

Job 2827

CakeML:381c8aa55a05f6173720c47f0587aad976f32a69
  Update Holmakefile in developers with EXTRA_CLEANS [May 08 03:35:34]
#1173 (extracleans-in-developers)
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:pavlova

May 13 10:01:52 Claimed job
May 13 10:02:00 Reusing HOL
May 13 10:02:10 Starting developers
May 13 10:02:14 Finished developers                                               3s 180MB
May 13 10:02:15 Starting developers/bin
May 13 10:02:21 Finished developers/bin                                           4s 592MB
May 13 10:02:22 Starting misc
May 13 10:03:03 Finished misc                                                    40s   2GB
May 13 10:03:04 Starting compiler/proofs May 13 10:03:04 6051s