Merge branch '706-dev-graph-parameters-display' into 'dev'

706 dev graph parameters display

See merge request !407
4 jobs for dev in 48 minutes (queued for 8 minutes and 11 seconds)
Status Job ID Name Coverage
  Cabal
passed #18292
cabal

00:19:44

 
  Stack
passed #18293
stack

00:02:41

 
  Bench
manual #18294
allowed to fail manual
bench
 
  Test
passed #18295
test

00:25:34