Job 176

CakeML:b90d0291cd72a175b5bdb46be7683dc7e33ef5a1
  Remove unnecessary overload on monad_ignore_bind [Jan 23 10:45:32]
#441 (monad-io)
Merging into:820c6b2156d7b6f7ad94ad67aae70135371c9fd5
  Move full_compile defns into compilerTheory [Jan 21 18:44:19]
HOL:d0a474d1d1cba7c32acb6056a6288c44c2f1a75b
  Describe Holmake's --fast option more accurately [Jan 23 06:41:38]
Machine:cakeml1796 4.4.0-22-generic x86_64 GNU/Linux

Jan 23 11:27:58 Claimed job