Skip to content

GitLab

[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
0d775a3f
1 related merge request: !8 [fix] Fixes the refinement type on Risk for Exp4R to be negative
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