Overview

Job 1065

CakeML:082af7d3d4a197a141c24adde12493785bf9e74c
  Fix grievous bug that prevented ! from being a valid symbol
#695 (ocaml-infixes)
Merging into:dc73bd8f21601e06bdc92eb303865a3992673970
  Merge pull request #694 from CakeML/remove-oom
HOL:6fab4d19897a228dfae2619b63ccd9678a5f4e0b
  Port Event_Timer and Timeout code from Isabelle for Poly/ML HOL
Machine:stove 4.15.0-55-generic x86_64 GNU/Linux

 Claimed job
 Building HOL