From b0a60883221abfb14d6325afe2a2a3d743573e99 Mon Sep 17 00:00:00 2001 From: Charlie Marsh Date: Mon, 16 Jan 2023 13:11:00 -0500 Subject: [PATCH] Set pre-commit options via pre-commit-mirror CLI (#15) This was done incorrectly in #9 and #10. --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6455822..603b358 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -24,6 +24,6 @@ jobs: git config user.name 'Github Actions' git config --global user.email '41898282+github-actions[bot]@users.noreply.github.com' - - run: pre-commit-mirror --language python --package-name ruff --entry ruff --id ruff --types python --description "Run 'ruff' for extremely fast Python linting" . + - run: pre-commit-mirror --language python --package-name ruff --entry ruff --id ruff --types-or python --types-or pyi --require-serial --description "Run 'ruff' for extremely fast Python linting" . - run: git push origin HEAD:refs/heads/main --tags