Merge branch 'dev' into 327-dev-rewrite-hal-crawler

4 jobs for 327-dev-rewrite-hal-crawler in 105 minutes and 12 seconds (queued for 34 minutes and 38 seconds)
latest
Status Job ID Name Coverage
  Cabal
passed #11987
cabal

00:44:50

 
  Stack
passed #11988
stack

00:02:31

 
  Bench
manual #11989
allowed to fail manual
bench
 
  Test
passed #11990
test

00:57:50