Skip to content

fix(compilers/openapi): warn on a duplicate server name - #726

Merged
OmarAlJarrah merged 11 commits into
mainfrom
fix/duplicate-server-names
Oct 15, 2026
Merged

fix(compilers/openapi): warn on a duplicate server name#726
OmarAlJarrah merged 11 commits into
mainfrom
fix/duplicate-server-names

fix(compilers/openapi): check every servers list for a repeated name

933b507
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar