Merge branch 'dev' into 242-dev-phylo-websearch

4 jobs for 242-dev-phylo-websearch in 38 minutes and 1 second (queued for 47 seconds)
Status Job ID Name Coverage
  Cabal
passed #13722
cabal

00:14:46

 
  Stack
passed #13723
stack

00:06:16

 
  Bench
manual #13724
allowed to fail manual
bench
 
  Test
passed #13725
test

00:16:59