Job 3582

CakeML:836e2e07eddcf828cc8ed37f1e7b29f7cb3d03e1
  Translate source_to_source inc_compile in to_flatProg [Oct 05 12:56:52]
#1508 (source-dce)
Merging into:3df857f9e03c44a232e84116b3a8c2400a8d1bf4
  Merge pull request #1530 from CakeML/issue-sniping [Oct 05 10:44:24]
HOL:652d1f0aad5cd537ed1e5d470ba3444e70ba470e
  Merge remote-tracking branch 'origin/master' into develop [Sep 27 02:14:15]
Machine:spagbol

Oct 05 17:17:24 Claimed job
Oct 05 17:17:36 Building HOL