Job 2370

CakeML:b82ce2d867fe551f5fd2b2d71ba41db7afaa5dbd
  Add arm8 bootstrap [Apr 13 15:53:58]
#991 (master)
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 21 06:12:08 Claimed job
Apr 21 06:12:10 Reusing HOL
Apr 21 06:12:51 Starting developers
Apr 21 06:12:56 Finished developers                                               5s 138MB
Apr 21 06:12:56 Starting developers/bin
Apr 21 06:13:02 Finished developers/bin                                           5s   1GB
Apr 21 06:13:03 Starting compiler/proofs Apr 21 06:13:03 6539s