Skip to content

Fix duplicate model problem reporting, fixes #12691 - #12707

Merged
gnodet merged 4 commits into
apache:masterfrom
Mazen050:bugfix/duplicate-errors
Aug 24, 2026
Merged

Fix duplicate model problem reporting, fixes #12691#12707
gnodet merged 4 commits into
apache:masterfrom
Mazen050:bugfix/duplicate-errors

use correct function to count problems and make test cover it

7100fca
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

10 warnings
initial-build
succeeded Aug 24, 2026 in 5m 14s