CakeML Regression Test

Job 2102

CakeML:8248fcd201378984643c5725b234d4b5b37e435e
  Move example to example theory [Feb 28 00:44:14]
#927 (translation_update)
Merging into:d7c29417e7a6c5bd1a3c00154a5159dbce3d6e2a
  Merge pull request #928 from CakeML/packing [Feb 10 07:12:04]
HOL:ff6e145992db7e75ae6798231ce09c3cc03538df
  Modernise a theorem's syntax [Feb 03 10:08:02]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Feb 28 08:56:53 Claimed job
Feb 28 08:56:58 Reusing HOL
Feb 28 08:57:38 Starting developers
Feb 28 08:57:43 Finished developers                                               5s 104MB
Feb 28 08:57:43 Starting developers/bin
Feb 28 08:57:50 Finished developers/bin                                           6s   1GB
Feb 28 08:57:50 Starting compiler/proofs Feb 28 08:57:50 1376s