Merge branch 'dev' into 362-dev-sqlite

4 jobs for 362-dev-sqlite in 48 minutes and 20 seconds (queued for 3 minutes and 7 seconds)
Status Job ID Name Coverage
  Cabal
passed #17828
cabal

00:19:18

 
  Stack
passed #17829
stack

00:03:24

 
  Bench
manual #17830
allowed to fail manual
bench
 
  Test
passed #17831
test

00:25:38