Merge branch 'dev' into testing

4 jobs for testing in 38 minutes and 8 seconds (queued for 137 minutes and 54 seconds)
Status Job ID Name Coverage
  Cabal
passed #14277
cabal

00:13:12

 
  Stack
passed #14278
stack

00:04:06

 
  Bench
manual #14279
allowed to fail manual
bench
 
  Test
passed #14280
test

00:20:50