Merging dev changes

4 jobs for 238-dev-async-job-worker in 60 minutes and 11 seconds (queued for 6 seconds)
Status Job ID Name Coverage
  Cabal
passed #15843
cabal

00:27:00

 
  Stack
passed #15844
stack

00:07:34

 
  Bench
manual #15845
allowed to fail manual
bench
 
  Test
passed #15846
test

00:25:36