Overview

Job 2471

CakeML:dc4cb57dc61faa9076884dcc7dbe95db8bf24613
  Fix cv translation of source_let
#1014 (source_let-fix)
Merging into:6cdeb10d4b89bd7583574cdfb1d7a3c11bf8f52d
  Adjust translations of toSortedAList
HOL:c37de731916a5fe5fdc6218d4b2e19234435e4ce
  Add lots of regexp matching regression tests for DBSearchParser
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

 Claimed job