There was an error while loading. Please reload this page.
Running XYZ linter...
1 parent 93ac799 commit 67834eeCopy full SHA for 67834ee
1 file changed
Makefile
@@ -1538,7 +1538,7 @@ lint-py-build:
1538
ifneq ("","$(wildcard tools/pip/site-packages/ruff)")
1539
# Lint the Python code with ruff.
1540
lint-py:
1541
-tools/pip/site-packages/bin/ruff --version
+$(info Running Python linter...)
1542
tools/pip/site-packages/bin/ruff check .
1543
else
1544
@@ -1558,6 +1558,7 @@ lint-yaml-build:
1558
# Lints the YAML files with yamllint.
1559
lint-yaml:
1560
@if [ -d"tools/pip/site-packages/yamllint" ];then\
1561
+$(info Running YAML linter...)\
1562
PYTHONPATH=tools/pip $(PYTHON) -m yamllint .;\
1563
else\
1564
echo'YAML linting with yamllint is not available';\
0 commit comments