Skip to content
Nix CI for bundle 8.19

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

Sign in to view logs

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

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

Annotations

1 warning

mathcomp-analysis-single

mathcomp-analysis-single
succeeded Dec 10, 2024 in 17m 11s