Job 1356

CakeML:cab8296f3531716a7090e22761c1f5456b37770b
  Use config to pass symbols out of backend.  Update all proofs [Sep 20 23:19:57]
#788 (symbols)
Merging into:aced251f056eb8714178746a7df203a936cc6991
  Fix compiler/parsing/Holmakefile to make parsingComputeLib build [Sep 18 08:05:26]
HOL:412fb6454a8fa37864443db29a5d354d425a0a78
  emacs-mode: add indentation after Unicode iff symbol [Sep 18 07:22:36]
Machine:oven3s 5.7.19 x86_64 GNU/Linux

Sep 21 17:04:37 Claimed job
Sep 21 17:04:40 Reusing HOL
Sep 21 17:04:51 Starting developers
Sep 21 17:04:53 Finished developers                                               1s 148MB
Sep 21 17:04:53 Starting developers/bin
Sep 21 17:05:02 Finished developers/bin                                           7s   1GB
Sep 21 17:05:02 Starting semantics/ffi
Sep 21 17:05:11 Finished semantics/ffi                                            8s   2GB
Sep 21 17:05:11 Starting semantics
Sep 21 17:06:19 Finished semantics                                             1m07s   4GB
Sep 21 17:06:20 Starting semantics/proofs
Sep 21 17:09:14 Finished semantics/proofs                                      2m53s   4GB
Sep 21 17:09:14 Starting semantics/alt_semantics
Sep 21 17:09:22 Finished semantics/alt_semantics                                  7s   4GB
Sep 21 17:09:22 Starting semantics/alt_semantics/proofs
Sep 21 17:11:20 Finished semantics/alt_semantics/proofs                        1m57s   4GB
Sep 21 17:11:20 Starting basis/pure
Sep 21 17:12:05 Finished basis/pure                                              44s   4GB
Sep 21 17:12:05 Starting translator
Sep 21 17:14:23 Finished translator                                            2m18s   7GB
Sep 21 17:14:24 Starting compiler/parsing
Sep 21 17:15:22 Finished compiler/parsing                                        58s   6GB
Sep 21 17:15:23 Starting characteristic
Sep 21 17:20:41 Finished characteristic                                        5m18s   6GB
Sep 21 17:20:42 Starting translator/monadic
Sep 21 17:22:04 Finished translator/monadic                                    1m22s   4GB
Sep 21 17:22:05 Starting basis Sep 21 17:22:05 1850s