Job 2139

CakeML:628fb7217ed46ec10b4ba9be414c5857788d6ebd
  Update bootstrap translation for Pancake multiplication [May 25 10:13:07]
#956 (pancake_divmul)
Merging into:5e0612a6f93d34e570019c2a768cbd4736402abe
  Fix for change to finite_mapSyntax in HOL [May 25 02:29:21]
HOL:b714d6b6c7a82ffd8f7fc64afb34d214f058a0bf
  Update building and testing of Manual/Tools/polyscripter [May 24 05:50:35]
Machine:pavlova

May 26 07:39:04 Claimed job
May 26 07:39:07 Reusing HOL
May 26 07:39:16 FAILED: building HOL