Merge branch 'dev' into 689-dev-graph-legend-show-all-clusters

4 jobs for 689-dev-graph-legend-show-all-clusters in 50 minutes and 16 seconds (queued for 4 minutes and 40 seconds)
latest
Status Job ID Name Coverage
  Cabal
passed #15672
cabal

00:20:22

 
  Stack
passed #15673
stack

00:07:22

 
  Bench
manual #15674
allowed to fail manual
bench
 
  Test
passed #15675
test

00:22:31