Merge branch 'dev' into testing

4 jobs for testing in 28 minutes and 43 seconds (queued for 114 minutes and 25 seconds)
Status Job ID Name Coverage
  Cabal
passed #14192
cabal

00:08:33

 
  Stack
passed #14193
stack

00:02:45

 
  Bench
manual #14194
allowed to fail manual
bench
 
  Test
passed #14195
test

00:17:24