Job 2087

CakeML:0a80d59e3ef322e4ad28193e97b5d425c5fd2df4
  Merge pull request #922 from CakeML/unzip-fix [Jan 22 17:17:11]
HOL:1c1bd854c5fd8aae152dd0bc8f0acea9bad53ffa
  Make some theorems in set_relation automatic rewrites [Jan 18 22:09:17]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Jan 26 19:04:58 Claimed job
Jan 26 19:05:00 Reusing HOL
Jan 26 19:05:08 FAILED: building HOL