mirror of
https://github.com/python/cpython.git
synced 2026-01-07 16:02:55 +00:00
9c1428c7cc
CI: Bump GitHub Actions (GH-108879)
(cherry picked from commit 572678e1f8)
Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
39 lines
982 B
YAML
39 lines
982 B
YAML
# Workflow to run mypy on select parts of the CPython repo
|
|
name: mypy
|
|
|
|
on:
|
|
push:
|
|
branches:
|
|
- main
|
|
pull_request:
|
|
paths:
|
|
- "Tools/clinic/**"
|
|
- ".github/workflows/mypy.yml"
|
|
workflow_dispatch:
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
env:
|
|
PIP_DISABLE_PIP_VERSION_CHECK: 1
|
|
FORCE_COLOR: 1
|
|
TERM: xterm-256color # needed for FORCE_COLOR to work on mypy on Ubuntu, see https://github.com/python/mypy/issues/13817
|
|
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
mypy:
|
|
name: Run mypy on Tools/clinic/
|
|
runs-on: ubuntu-latest
|
|
timeout-minutes: 10
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- uses: actions/setup-python@v4
|
|
with:
|
|
python-version: "3.x"
|
|
cache: pip
|
|
cache-dependency-path: Tools/clinic/requirements-dev.txt
|
|
- run: pip install -r Tools/clinic/requirements-dev.txt
|
|
- run: mypy --config-file Tools/clinic/mypy.ini
|