Job 1365

CakeML:9a0180ee6a0bbcf4cc2d2aee6efc20caa0f62e95
  Add sexpr files to cake-x64-64.tar.gz artefact [Sep 24 05:41:42]
#788 (symbols)
Merging into:411c80da717a8e99b5a8e7f6519e95637ecb7225
  Merge pull request #752 from sorear/rv_fixes [Sep 24 08:22:45]
HOL:841cced433cd0e9e4913c6e9c05c9b7542e38a6b
  Handle change to Slavonic asterisk (25dec53e17) in Manual production [Sep 23 11:12:05]
Machine:oven5s2 5.7.19 x86_64 GNU/Linux

Sep 26 05:41:52 Claimed job
Sep 26 05:41:54 Reusing HOL
Sep 26 05:42:03 Starting developers
Sep 26 05:42:05 Finished developers                                               1s 135MB
Sep 26 05:42:05 Starting developers/bin
Sep 26 05:42:14 Finished developers/bin                                           7s   1GB
Sep 26 05:42:14 Starting semantics/ffi
Sep 26 05:42:23 Finished semantics/ffi                                            9s   2GB
Sep 26 05:42:24 Starting semantics
Sep 26 05:43:34 Finished semantics                                             1m09s   4GB
Sep 26 05:43:34 Starting semantics/proofs Sep 26 05:43:34 23s