Merge branch 'dev' into 341-dev-websockets

4 jobs for 341-dev-websockets in 51 minutes and 47 seconds (queued for 54 seconds)
latest
Status Job ID Name Coverage
  Cabal
passed #14345
cabal

00:18:23

 
  Stack
passed #14346
stack

00:05:58

 
  Bench
manual #14347
allowed to fail manual
bench
 
  Test
passed #14348
test

00:27:26