Merge branch 'dev' into dev-deps-fixes

5 jobs for dev-deps-fixes in 86 minutes and 29 seconds (queued for 4 minutes and 7 seconds)
Status Job ID Name Coverage
  Stack
passed #10638
stack

00:01:29

 
  Cabal
passed #10639
cabal

00:35:24

 
  Bench
passed #10674
bench

00:23:00

failed #10640
bench

07:24:43

 
  Test
passed #10641
test

00:26:34