Skip to content

Fix division by zero with empty static set - #308

Merged
SimonSapin merged 1 commit into
mainfrom
empty-static-set
Aug 25, 2026
Merged

Fix division by zero with empty static set#308
SimonSapin merged 1 commit into
mainfrom
empty-static-set

Fix division by zero with empty static set

5e98d92
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

5 warnings
Build and Test (stable)
succeeded Aug 25, 2026 in 26s