Job 2473

CakeML:9d9c056f5cd85c76f447ca6d384ed6a17defbf76
  Add constructor names to record functions [Jul 19 13:23:13]
#1017 (candle-long-records)
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:pavlova

Jul 19 22:03:24 Claimed job