Job 2472

CakeML:16892fbea4d168094376f24a43c042f95496f967
  Make sure REPL has compiler configured to be fast [Jul 16 17:12:18]
#1015 (fix-repl)
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 21:04:35 Claimed job