Job 1116

CakeML:989142823c42cd3f693025fd202a545379a76ed7
  update build sequence [Dec 08 15:35:24]
#708 (lrat)
Merging into:5752e21fdd0a5da28d3bec757206728debc27640
  Merge pull request #702 from CakeML/bufferedio [Dec 03 03:21:05]
HOL:481761b292689788e0b28e013337d6a16c4a6fa4
  adding back combinTheory dependency to hhExportLib [Nov 26 08:34:04]
Machine:oven3 4.19.67.1.amd64-smp

Dec 08 19:29:17 Claimed job
Dec 08 19:29:26 Reusing HOL
Dec 08 19:30:42 Starting developers
Dec 08 19:30:49 Finished developers                                               6s  89MB
Dec 08 19:30:49 Starting developers/bin
Dec 08 19:31:03 Finished developers/bin                                          13s 966MB
Dec 08 19:31:03 Starting semantics/ffi
Dec 08 19:31:25 Finished semantics/ffi                                           22s 254MB
Dec 08 19:31:26 Starting semantics
Dec 08 19:34:06 Finished semantics                                             2m40s 986MB