From 6a517a804cbc448f407ec7054ad29eb9bab2edd7 Mon Sep 17 00:00:00 2001 From: Jack Cherng Date: Wed, 13 Dec 2023 15:30:48 +0800 Subject: [PATCH] chore: rename Makefile command names Signed-off-by: Jack Cherng --- .github/workflows/python.yml | 2 +- Makefile | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/python.yml b/.github/workflows/python.yml index 1291eec..ef2f94c 100644 --- a/.github/workflows/python.yml +++ b/.github/workflows/python.yml @@ -50,4 +50,4 @@ jobs: - name: Do linting run: | - make check + make ci-check diff --git a/Makefile b/Makefile index 121fea3..4d06660 100644 --- a/Makefile +++ b/Makefile @@ -1,15 +1,15 @@ .PHONY: all all: fix -.PHONY: check -check: +.PHONY: ci-check +ci-check: # mypy -p plugin flake8 . black --check --diff --preview . isort --check --diff . -.PHONY: fix -fix: +.PHONY: ci-fix +ci-fix: autoflake --in-place . black --preview . isort .