Merge branch 'fix-negativeRisk' into 'master'

[fix] Fixes the refinement type on Risk for Exp4R to be negative

See merge request !8
7 jobs for master in 34 seconds
latest
Status Job ID Name Coverage
  Source
passed #79485
kvm nix
make:hlint

00:00:03

passed #79484
kvm nix
make:ormolu

00:00:05

passed #79486
kvm nix
make:shellcheck

00:00:02

 
  Build
passed #79489
kvm nix
make:doc

00:00:12

passed #79488
kvm nix
make:readme

00:00:01

passed #79487
kvm nix
nix:package

00:00:26

 
  Docs
passed #79490
kvm nix
readthedocs

00:00:02