Merge branch 'dev' into 467-dev-api-refactorings-merge

4 jobs for 467-dev-api-refactorings-merge in 43 minutes and 34 seconds (queued for 6 seconds)
latest
Status Job ID Name Coverage
  Cabal
passed #18256
cabal

00:20:28

 
  Stack
passed #18257
stack

00:02:43

 
  Bench
manual #18258
allowed to fail manual
bench
 
  Test
passed #18259
test

00:20:22