mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-21 19:32:13 +08:00
Update stubtest for submodule versions, typeddict fix (#7306)
First step in #7305 Co-authored-by: hauntsaninja <>
This commit is contained in:
8
.github/workflows/stubtest.yml
vendored
8
.github/workflows/stubtest.yml
vendored
@@ -1,4 +1,4 @@
|
||||
name: Run stubtest on all stubs
|
||||
name: Daily test
|
||||
|
||||
on:
|
||||
workflow_dispatch:
|
||||
@@ -35,7 +35,11 @@ jobs:
|
||||
- name: Update pip
|
||||
run: python -m pip install -U pip
|
||||
- name: Install dependencies
|
||||
run: pip install $(grep tomli== requirements-tests.txt) $(grep mypy== requirements-tests.txt)
|
||||
# Use pre-release stubtest. Keep the following in sync:
|
||||
# - get_mypy_req in tests/stubtest_third_party.py
|
||||
# - stubtest-stdlib in .github/workflows/stubtest.yml
|
||||
# - stubtest-stdlib in .github/workflows/tests.yml
|
||||
run: pip install $(grep tomli== requirements-tests.txt) git+git://github.com/python/mypy@b36d8cf5d4d0bb77c5a8cf783ba4def16cd9846a
|
||||
- name: Run stubtest
|
||||
run: python tests/stubtest_stdlib.py
|
||||
|
||||
|
||||
8
.github/workflows/tests.yml
vendored
8
.github/workflows/tests.yml
vendored
@@ -1,4 +1,4 @@
|
||||
name: Check stubs
|
||||
name: Test
|
||||
|
||||
on:
|
||||
workflow_dispatch:
|
||||
@@ -110,7 +110,11 @@ jobs:
|
||||
- name: Update pip
|
||||
run: python -m pip install -U pip
|
||||
- name: Install dependencies
|
||||
run: pip install $(grep tomli== requirements-tests.txt) $(grep mypy== requirements-tests.txt)
|
||||
# Use pre-release stubtest. Keep the following in sync:
|
||||
# - get_mypy_req in tests/stubtest_third_party.py
|
||||
# - stubtest-stdlib in .github/workflows/stubtest.yml
|
||||
# - stubtest-stdlib in .github/workflows/tests.yml
|
||||
run: pip install $(grep tomli== requirements-tests.txt) git+git://github.com/python/mypy@b36d8cf5d4d0bb77c5a8cf783ba4def16cd9846a
|
||||
- name: Run stubtest
|
||||
run: python tests/stubtest_stdlib.py
|
||||
|
||||
|
||||
Reference in New Issue
Block a user