Overview

Job 1494

CakeML:62575c63aecea870a89518102aec7eae7708a837
  Fixes to x64 export script
#820 (fix-export-x64-macos)
Merging into:3d4a96b446a3347e5cb94f1b123332937de84554
  Fix reference to HOL examples theory that has moved
HOL:94d032357d37c515713e95934557884394537da2
  Improve loop detection in simplifier
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

 Claimed job
 Reusing HOL
 FAILED: building HOL