CakeML Regression Test

Job 402

CakeML:1b0dbd2c9a766be60ba0bcc0f671d2186b25550d
  Dummy commit to test ulimit on regression servers [Aug 01 07:48:35]
#505 (test-ulimit)
Merging into:1b5f8be3242a8a1d13d1289f21c06650fb5eb463
  Update translator for new length check [Aug 06 19:03:49]
HOL:2abaf720bc88c75a793eac0e280e392479d1745e
  Let ANSI colouring happen on screen terminals [Aug 02 11:53:04]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Aug 06 20:08:15 Claimed job
Aug 06 20:08:18 Reusing HOL
Aug 06 20:08:27 Starting developers/bin
Aug 06 20:08:31 Finished developers/bin                                           3s 150MB
Aug 06 20:08:32 Starting semantics/ffi
Aug 06 20:08:43 Finished semantics/ffi                                           10s 247MB
Aug 06 20:08:43 Starting semantics
Aug 06 20:10:14 Finished semantics                                             1m29s 983MB
Aug 06 20:10:15 Starting semantics/proofs Aug 06 20:10:15 224s