Job 2350

CakeML:ca01320f141656caedd101dd88a12775df2d8ccc
  Put the scope-checker into the Pancake compiler [Mar 19 06:34:38]
#986 (scope)
Merging into:ba1818f4ae7d674ea3359e7a9c20ee308fab3d38
  Merge pull request #977 from CakeML/share_mem_new2 [Mar 17 08:06:49]
HOL:671b4b712f9e860a558393b4b0c6a15e3a52a754
  Updated HOL Description with higher mathematics contents promoted to  [Mar 18 23:15:32]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Mar 20 15:31:18 Claimed job
Mar 20 15:31:24 Building HOL