Job 1065

CakeML:082af7d3d4a197a141c24adde12493785bf9e74c
  Fix grievous bug that prevented ! from being a valid symbol [Nov 01 06:14:49]
#695 (ocaml-infixes)
Merging into:dc73bd8f21601e06bdc92eb303865a3992673970
  Merge pull request #694 from CakeML/remove-oom [Oct 13 07:36:28]
HOL:6fab4d19897a228dfae2619b63ccd9678a5f4e0b
  Port Event_Timer and Timeout code from Isabelle for Poly/ML HOL [Nov 03 04:53:11]
Machine:stove 4.15.0-55-generic x86_64 GNU/Linux

Nov 04 09:04:41 Claimed job
Nov 04 09:04:45 Building HOL