8000
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 449ace5 + 997646e commit b18c8c8Copy full SHA for b18c8c8
.github/workflows/main.yml
@@ -15,7 +15,7 @@ jobs:
15
- run: pip install pre-commit-mirror-maker
16
- run: git config --global user.name 'Github Actions'
17
- run: git config --global user.email '41898282+github-actions[bot]@users.noreply.github.com'
18
- - 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
19
- run: |
20
git remote set-url origin https://x-access-token:$GH_TOKEN@github.com/$GITHUB_REPOSITORY
21
git push origin HEAD:refs/heads/master --tags
0 commit comments