Skip to content

Let the file target of $> redirection be quoted #1523

Let the file target of $> redirection be quoted

Let the file target of $> redirection be quoted #1523

Workflow file for this run

name: Typecheck
on:
pull_request:
paths-ignore:
- '**.md'
- '**.rst'
- 'LICENSE.txt'
- 'doc/**/*.txt'
- '**/AUTHORS'
- '**/SPONSORS'
- '**/TIPS'
jobs:
typecheck:
name: Typecheck
runs-on: ubuntu-latest
steps:
- name: Check out Git repository
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
- name: Set up Python
uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7.0.0
with:
python-version: '3.14'
- uses: astral-sh/setup-uv@c771a70e6277c0a99b617c7a806ffedaca235ff9 # v9.0.0
with:
version: 'latest'
- name: Install dependencies
run: uv sync --all-extras
- name: Run mypy
run: |
uv run --no-sync --frozen -- python -m ensurepip
uv run --no-sync --frozen -- python -m mypy --no-pretty --install-types --non-interactive .