CakeML Regression Test

Job 1852

CakeML:91964cb4d6689baca52895c6a99b474b1519fe14
  Fix `itree_semanticsEquivTheory` [Apr 07 08:57:47]
#875 (smallstep-exns)
Merging into:4317d3f1cb4cafc7b1ea154c0e89e4dcae2700ba
  Update COPYING [Apr 04 06:16:57]
HOL:6d938663389537576efe0d6e2eeee81911702d3d
  Extend COPYRIGHT into 2022 [Apr 03 23:12:02]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Apr 07 10:54:26 Claimed job
Apr 07 10:54:35 Building HOL
Apr 07 11:04:28 Starting developers
Apr 07 11:04:31 Finished developers                                               2s  99MB
Apr 07 11:04:31 Starting developers/bin
Apr 07 11:04:37 Finished developers/bin                                           6s   1GB
Apr 07 11:04:37 Starting semantics/ffi
Apr 07 11:04:47 Finished semantics/ffi                                            9s 314MB
Apr 07 11:04:47 Starting semantics
Apr 07 11:07:02 Finished semantics                                             2m15s   1GB
Apr 07 11:07:03 Starting semantics/proofs
Apr 07 11:11:11 Finished semantics/proofs                                      4m08s   4GB
Apr 07 11:11:11 Starting semantics/alt_semantics
Apr 07 11:11:35 Finished semantics/alt_semantics                                 23s 746MB
Apr 07 11:11:35 Starting semantics/alt_semantics/proofs
Apr 07 11:14:39 Finished semantics/alt_semantics/proofs                        3m03s   2GB
Apr 07 11:14:39 Starting basis/pure
Apr 07 11:17:55 Finished basis/pure                                            3m15s   1GB
Apr 07 11:17:55 Starting translator
Apr 07 11:21:05 Finished translator                                            3m10s   2GB
Apr 07 11:21:05 Starting compiler/parsing
Apr 07 11:22:27 Finished compiler/parsing                                      1m21s   3GB
Apr 07 11:22:27 Starting characteristic
Apr 07 11:28:55 Finished characteristic                                        6m27s   3GB
Apr 07 11:28:55 Starting translator/monadic
Apr 07 11:30:59 Finished translator/monadic                                    2m03s   3GB
Apr 07 11:30:59 Starting basis Apr 07 11:30:59 1840s