Job 2086

CakeML:1ff2342aaedb2a8d6c5e698d8d6c7f55771973a9
  Generate names users cannot type in concrete syntax [Jan 25 12:04:40]
#926 (issue925)
Merging into: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:42 Claimed job
Jan 26 19:04:47 Reusing HOL
Jan 26 19:04:56 FAILED: building HOL