Job 1494

CakeML:62575c63aecea870a89518102aec7eae7708a837
  Fixes to x64 export script [Mar 17 12:49:50]
#820 (fix-export-x64-macos)
Merging into:3d4a96b446a3347e5cb94f1b123332937de84554
  Fix reference to HOL examples theory that has moved [Mar 18 00:23:39]
HOL:94d032357d37c515713e95934557884394537da2
  Improve loop detection in simplifier [Mar 18 06:46:50]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Mar 19 07:28:22 Claimed job
Mar 19 07:28:23 Reusing HOL
Mar 19 07:28:24 FAILED: building HOL