10000
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.
1 parent 449ace5 commit 997646eCopy full SHA for 997646e
.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