Skip to content

Check that no synonym repeats its own label - #17

Open
hoodcm wants to merge 1 commit into
mainfrom
synonym-equal-to-label
Open

Check that no synonym repeats its own label#17
hoodcm wants to merge 1 commit into
mainfrom
synonym-equal-to-label

Check that no synonym repeats its own label, and remove the 32 that do

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

Annotations

1 notice
robot-integrity
succeeded Oct 1, 2026 in 55s