Merge branch 'dev' into dev-threaded-flow-with-new-ngrams-extraction

4 jobs for dev-threaded-flow-with-new-ngrams-extraction in 56 minutes and 59 seconds (queued for 5 seconds)
latest
Status Job ID Name Coverage
  Cabal
passed #19573
cabal

00:26:35

 
  Stack
passed #19574
stack

00:02:57

 
  Bench
manual #19575
allowed to fail manual
bench
 
  Test
passed #19576
test

00:27:26