Job 2471

CakeML:dc4cb57dc61faa9076884dcc7dbe95db8bf24613
  Fix cv translation of source_let [Jul 19 09:33:43]
#1014 (source_let-fix)
Merging into:6cdeb10d4b89bd7583574cdfb1d7a3c11bf8f52d
  Adjust translations of toSortedAList [Jul 19 09:41:46]
HOL:c37de731916a5fe5fdc6218d4b2e19234435e4ce
  Add lots of regexp matching regression tests for DBSearchParser [Jul 15 06:13:45]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Jul 19 20:12:56 Claimed job