Merge branch 'dev' into dev-improve-api-version

4 jobs for dev-improve-api-version in 45 minutes and 36 seconds (queued for 10 minutes and 19 seconds)
latest
Status Job ID Name Coverage
  Cabal
passed #18605
cabal

00:21:18

 
  Stack
passed #18606
stack

00:02:29

 
  Bench
manual #18607
allowed to fail manual
bench
 
  Test
passed #18608
test

00:21:49