Job 306

CakeML:20fcc03bb38a9470e04a987155e3a7f0d88b75aa
  Change >> to \\ in bvl_constProof [Apr 26 08:28:20]
#485 (better-constant-folding)
Merging into:a2189a6940aa40c618029d8663874246e88029d1
  Merge pull request #482 from zapashcanon/pp [Apr 23 05:19:11]
HOL:bebd9427d13acc496a85c19cc840c3c97ac913df
  Merge pull request #527 from AndreasLoow/hol-mode-require-subr-x [Apr 29 09:27:33]
Machine:ca60c42b58eb 4.14.16-200.fc26.x86_64 x86_64 GNU/Linux

Apr 29 16:47:33 Claimed job
Apr 29 16:47:44 Building HOL