Merge remote-tracking branch 'origin/dev-guidelines-update' into dev

4 jobs for dev in 28 minutes and 15 seconds (queued for 80 minutes and 32 seconds)
Status Job ID Name Coverage
  Cabal
passed #15290
cabal

00:10:49

 
  Stack
passed #15291
stack

00:02:13

 
  Bench
manual #15292
allowed to fail manual
bench
 
  Test
passed #15293
test

00:15:12