Overview

Job 1353

CakeML:aced251f056eb8714178746a7df203a936cc6991
  Fix compiler/parsing/Holmakefile to make parsingComputeLib build
HOL:412fb6454a8fa37864443db29a5d354d425a0a78
  emacs-mode: add indentation after Unicode iff symbol
Machine:oven3s 5.7.19 x86_64 GNU/Linux

 Claimed job
 Building HOL