CakeML Regression Test

Job 2368

CakeML:51ac8cbe96fa98dcc4a8835452233df1f186d56a
  Fix in-logic evaluation of backend [Apr 20 11:27:19]
#985 (cvunify)
Merging into:9c063a7d92cadb36c49a6e45856ae0db734dc9e5
  Merge pull request #989 from CakeML/pan_errors [Apr 11 22:24:05]
HOL:244c07da3e8592a9c4b1754a2c93c83f0da5759e
  Fix test broken by arrival of rationals into dependencies [Apr 18 07:17:44]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Apr 20 17:22:54 Claimed job
Apr 20 17:22:59 Reusing HOL
Apr 20 17:23:40 Starting developers
Apr 20 17:23:46 Finished developers                                               5s 105MB
Apr 20 17:23:46 Starting developers/bin
Apr 20 17:23:52 Finished developers/bin                                           5s   1GB
Apr 20 17:23:52 Starting compiler/proofs Apr 20 17:23:52 6538s