Skip to content

Preserve PR labels when backporting #42784

Preserve PR labels when backporting

Preserve PR labels when backporting #42784

Workflow file for this run

name: Type checking
on:
push:
branches:
- main
- 'version-**'
workflow_call:
permissions:
contents: read
env:
UV_FROZEN: true
jobs:
type-checking:
runs-on: ubuntu-latest
timeout-minutes: 15
strategy:
matrix:
python-version: ['3.12']
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
with:
fetch-depth: 0
filter: tree:0
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
with:
python-version: ${{ matrix.python-version }}
- name: Install uv
uses: astral-sh/setup-uv@08807647e7069bb48b6ef5acd8ec9567f424441b # v8.1.0
with:
enable-cache: true
prune-cache: false
python-version: ${{ matrix.python-version }}
- name: Install ERT and dependencies
run: |
uv sync --group dev --group types
- id: get-date
run: echo "todays_date=$(/bin/date -u '+%Y%m%d')" >> "$GITHUB_ENV"
- uses: actions/cache@27d5ce7f107fe9357f9df03efb73ab90386fccae # v5.0.5
with:
path: .mypy_cache
key: mypy-${{ env.todays_date }}
- run: echo ::add-matcher::.github/mypy-matcher.json
- name: Run mypy
run: |
uv run mypy src