CakeML Regression Test

Job 656

CakeML:dab1a1a741672d4fdec41f04251b3d07f8a91775
  Rename to lowercase code-of-conduct.md [Dec 27 18:58:43]
#594 (add-code-of-conduct-1)
Merging into:6669d99667b1f4dbb60de32048f97f611277f41e
  Remove unused parsing gitignore [Dec 30 12:28:23]
HOL:89daca206b2ad7a8e43f3a59c20a178cc04d7748
  Fix bug: TypeBase.simpls_of not being filled in on load [Dec 21 04:04:45]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Dec 30 23:08:13 Claimed job
Dec 30 23:08:18 Reusing HOL
Dec 30 23:08:27 Starting developers
Dec 30 23:08:29 Finished developers                                               0s  21MB
Dec 30 23:08:29 Starting developers/bin
Dec 30 23:09:03 Finished developers/bin                                          32s 202MB
Dec 30 23:09:04 Starting semantics/ffi
Dec 30 23:09:13 Finished semantics/ffi                                            8s 226MB
Dec 30 23:09:13 Starting semantics
Dec 30 23:10:37 Finished semantics                                             1m23s   1GB
Dec 30 23:10:38 Starting semantics/proofs Dec 30 23:10:38 23s