[PEP 695] Inherit variance if base class has explicit variance (#17787) #3483
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Check documentation build | |
on: | |
workflow_dispatch: | |
push: | |
branches: [main, master, 'release*'] | |
tags: ['*'] | |
pull_request: | |
paths: | |
- 'docs/**' | |
# We now have a docs check that fails if any error codes don't have documentation, | |
# so it's important to do the docs build on all PRs touching mypy/errorcodes.py | |
# in case somebody's adding a new error code without any docs | |
- 'mypy/errorcodes.py' | |
- 'mypyc/doc/**' | |
- '**/*.rst' | |
- '**/*.md' | |
- CREDITS | |
- LICENSE | |
permissions: | |
contents: read | |
concurrency: | |
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} | |
cancel-in-progress: true | |
jobs: | |
docs: | |
runs-on: ubuntu-latest | |
env: | |
TOXENV: docs | |
TOX_SKIP_MISSING_INTERPRETERS: False | |
VERIFY_MYPY_ERROR_CODES: 1 | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: actions/setup-python@v5 | |
with: | |
python-version: '3.12' | |
- name: Install tox | |
run: pip install tox==4.11.0 | |
- name: Setup tox environment | |
run: tox run -e ${{ env.TOXENV }} --notest | |
- name: Test | |
run: tox run -e ${{ env.TOXENV }} --skip-pkg-install |