Skip to content

Merge branch 'main' into help-json-v2 #1114

Merge branch 'main' into help-json-v2

Merge branch 'main' into help-json-v2 #1114

Workflow file for this run

name: Lint code
on:
push:
pull_request:
permissions: {}
jobs:
pre-commit:
runs-on: ubuntu-latest
permissions:
contents: read
steps:
- uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
with:
persist-credentials: false
- name: Set up Python
uses: astral-sh/setup-uv@08807647e7069bb48b6ef5acd8ec9567f424441b # v8.1.0
with:
python-version: 3
activate-environment: true
- name: Install dependencies
run: |
uv pip install ".[dev]"
uv pip install "mypy<1.16" # later versions don't work with python 3.8
- name: Run pre-commit
run: pre-commit run -a