Skip to content

Allow CLI passwords starting with dash characters #1152

Allow CLI passwords starting with dash characters

Allow CLI passwords starting with dash characters #1152

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@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
- name: Set up Python
uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
with:
python-version: '3.13'
- uses: astral-sh/setup-uv@cec208311dfd045dd5311c1add060b2062131d57 # v8.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 .