Adds CI to remove duplicate definitions (#25218)

* the purge

* yes

* incorrect comment

* send it
This commit is contained in:
Contrabang
2024-05-06 15:29:19 -04:00
committed by GitHub
parent e8e3835819
commit 0ace3d4351
4 changed files with 62 additions and 2 deletions
+1
View File
@@ -50,6 +50,7 @@ jobs:
python tools/ci/define_sanity.py
python tools/ci/restrict_file_types.py
python tools/ci/verify_sql_version.py
python tools/ci/no_duplicate_definitions.py
python -m tools.ci.check_icon_conflicts
python -m tools.ci.check_icon_dupenames
python -m tools.maplint.source --github