mirror of
https://github.com/python/cpython.git
synced 2025-09-26 18:29:57 +00:00
[3.12] Sync location of mypy
pin with the main
branch (#111317)
This commit is contained in:
parent
5c4f9a1c7e
commit
3d67b69820
3 changed files with 3 additions and 3 deletions
2
.github/dependabot.yml
vendored
2
.github/dependabot.yml
vendored
|
@ -13,7 +13,7 @@ updates:
|
||||||
- "version-update:semver-minor"
|
- "version-update:semver-minor"
|
||||||
- "version-update:semver-patch"
|
- "version-update:semver-patch"
|
||||||
- package-ecosystem: "pip"
|
- package-ecosystem: "pip"
|
||||||
directory: "/Tools/clinic/"
|
directory: "/Tools/"
|
||||||
schedule:
|
schedule:
|
||||||
interval: "monthly"
|
interval: "monthly"
|
||||||
labels:
|
labels:
|
||||||
|
|
4
.github/workflows/mypy.yml
vendored
4
.github/workflows/mypy.yml
vendored
|
@ -34,6 +34,6 @@ jobs:
|
||||||
with:
|
with:
|
||||||
python-version: "3.x"
|
python-version: "3.x"
|
||||||
cache: pip
|
cache: pip
|
||||||
cache-dependency-path: Tools/clinic/requirements-dev.txt
|
cache-dependency-path: Tools/requirements-dev.txt
|
||||||
- run: pip install -r Tools/clinic/requirements-dev.txt
|
- run: pip install -r Tools/requirements-dev.txt
|
||||||
- run: mypy --config-file Tools/clinic/mypy.ini
|
- run: mypy --config-file Tools/clinic/mypy.ini
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue