Skip to content

Commit 829820d

Browse files
Fix new tools workflows (#2339)
* add pmd7 and eslint9 to the workflows
1 parent 86e9379 commit 829820d

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

Diff for: tools/check-security-tools.py

+2-2
Original file line numberDiff line numberDiff line change
@@ -32,9 +32,9 @@ def check_security_tools():
3232
# Hack to ensure that Pylint is detected
3333
if tool_short_name == "pylintpython3":
3434
tool_name = "Pylint"
35-
if tool_short_name == "ESLint9":
35+
if tool_short_name == "eslint-9":
3636
tool_name = "ESLint"
37-
if tool_short_name == "PMD7":
37+
if tool_short_name == "pmd-7":
3838
tool_name = "PMD"
3939
tool_languages = tool["languages"]
4040
cursor = True

Diff for: tools/check-supported-tools.py

+2-2
Original file line numberDiff line numberDiff line change
@@ -29,9 +29,9 @@ def check_supported_tools():
2929
# Hack to ensure that Pylint is detected
3030
if tool_short_name == "pylintpython3":
3131
tool_name = "Pylint"
32-
if tool_short_name == "ESLint9":
32+
if tool_short_name == "eslint-9":
3333
tool_name = "ESLint"
34-
if tool_short_name == "PMD7":
34+
if tool_short_name == "pmd-7":
3535
tool_name = "PMD"
3636
tool_languages = tool["languages"]
3737
if tool_name.lower() in documentation or tool_short_name.lower() in documentation:

0 commit comments

Comments
 (0)