From 997646e3234c562202354a8b22c47dbaa3a1e110 Mon Sep 17 00:00:00 2001 From: Aaron Gokaslan Date: Mon, 4 Oct 2021 13:09:07 -0400 Subject: [PATCH] Add stubs to mypy checking --- .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 752f30f..1b031d8 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -15,7 +15,7 @@ jobs: - run: pip install pre-commit-mirror-maker - run: git config --global user.name 'Github Actions' - run: git config --global user.email '41898282+github-actions[bot]@users.noreply.github.com' - - run: pre-commit-mirror . --language=python --package-name=mypy --types=python --args=--ignore-missing-imports,--scripts-are-modules --require-serial + - run: pre-commit-mirror . --language=python --package-name=mypy --types-or=python --types-or=pyi --args=--ignore-missing-imports,--scripts-are-modules --require-serial - run: | git remote set-url origin https://x-access-token:$GH_TOKEN@github.com/$GITHUB_REPOSITORY git push origin HEAD:refs/heads/master --tags