Overview

Job 1360

CakeML:9a0180ee6a0bbcf4cc2d2aee6efc20caa0f62e95
  Add sexpr files to cake-x64-64.tar.gz artefact
#788 (symbols)
Merging into:aced251f056eb8714178746a7df203a936cc6991
  Fix compiler/parsing/Holmakefile to make parsingComputeLib build
HOL:841cced433cd0e9e4913c6e9c05c9b7542e38a6b
  Handle change to Slavonic asterisk (25dec53e17) in Manual production
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Building HOL