Job 400

CakeML:a48e68dc78b0f70e91c2a50b5e8d3a0a40949d68
  Remove cheat [Aug 02 14:12:13]
#507 (type-error-msg)
Merging into:a5d4955acaa92d5009b6e204828a2d73467eb540
  Add various theorems [Aug 02 14:15:10]
HOL:2abaf720bc88c75a793eac0e280e392479d1745e
  Let ANSI colouring happen on screen terminals [Aug 02 11:53:04]
Machine:cakeml1796 4.4.0-22-generic x86_64 GNU/Linux

Aug 04 03:02:59 Claimed job
Aug 04 03:03:09 Building HOL
Aug 04 03:15:30 Starting developers/bin
Aug 04 03:15:40 Finished developers/bin                                           8s 224MB
Aug 04 03:15:42 Starting semantics/ffi
Aug 04 03:16:45 Finished semantics/ffi                                         1m00s 497MB
Aug 04 03:16:47 Starting semantics
Aug 04 03:19:11 Finished semantics                                             2m22s 894MB
Aug 04 03:19:13 Starting semantics/proofs Aug 04 03:19:13 23s