Skip to content
Nix CI for bundle 8.20

replace some `|Num.floor _|%N with Num.trunc _ #742

Sign in to view logs

replace some `|Num.floor _|%N with Num.trunc _

replace some `|Num.floor _|%N with Num.trunc _ #742

Annotations

1 warning

mathcomp-reals-stdlib

mathcomp-reals-stdlib
succeeded Dec 7, 2024 in 1m 27s