Add stubs to mypy checking

This commit is contained in:
Aaron Gokaslan 2021-10-04 13:09:07 -04:00 committed by GitHub
parent 449ace5e55
commit 997646e323
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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