[typing] Fix wrong mypy typing annotations (backport #4879) (#4883) #248
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: changes | |
on: | |
push: | |
branches: | |
- 20** | |
paths: | |
- "src/**" | |
- ".github/workflows/changes.yml" | |
workflow_dispatch: | |
concurrency: | |
group: ${{ github.workflow }}-${{ github.ref }} | |
cancel-in-progress: true | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/setup-python@v4 | |
with: | |
python-version: "3.11" | |
- uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
- name: Installing the library | |
run: pip install .[dev,docs] | |
- name: Build the documentation | |
run: sphinx-build -b changes -j auto -W docs/source docs/build/changes | |
- name: Commit the changes | |
run: | | |
pre-commit run --all-files || true | |
git config --global user.name "github-actions[bot]" | |
git config --global user.email "github-actions[bot]@users.noreply.github.com" | |
git add docs/source/CHANGES.md | |
git commit -m "[skip ci] Update CHANGES.md" || echo "Nothing to commit" | |
- name: Push the changes | |
uses: CasperWA/push-protected@v2 | |
with: | |
token: ${{ secrets.PUSH_TO_PROTECTED_BRANCH }} | |
branch: ${{ github.ref_name }} |