Job 2045

CakeML:b1f08888ac7132052616812b01cdfb07925943e2
  Fix another bug related to readme_gen [Nov 23 11:37:16]
#911 (libm_gen)
Merging into:3687487b0ceaa28ee5ceff431d51fa5303742e1f
  Merge pull request #918 from CakeML/clos-interpreter [Nov 29 06:06:35]
HOL:126d898e2a2195a717f5757375b93570965286f1
  Cleanup and tweak release notes for next version in a few places [Nov 03 06:41:06]
Machine:oven3

Nov 29 09:01:55 Claimed job
Nov 29 09:01:59 Reusing HOL
Nov 29 09:02:48 Starting developers
Nov 29 09:02:56 Finished developers                                               8s 167MB
Nov 29 09:02:57 Starting developers/bin
Nov 29 09:03:09 Finished developers/bin                                          12s   1GB
Nov 29 09:03:09 Starting compiler/proofs Nov 29 09:03:09 6528s