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

6 jobs for fix-negativeRisk in 38 seconds (queued for 11 seconds)
latest
Status Job ID Name Coverage
  Source
passed #79479
kvm nix
make:hlint

00:00:03

passed #79478
kvm nix
make:ormolu

00:00:04

passed #79480
kvm nix
make:shellcheck

00:00:03

 
  Build
passed #79483
kvm nix
make:doc

00:00:12

passed #79482
kvm nix
make:readme

00:00:01

passed #79481
kvm nix
nix:package

00:00:27