Repository navigation

Update pre-commit hooks #155

	---
	name: pre-commit

	env:
	GIT_REF: ${{ github.event.pull_request.head.sha \|\| github.sha }}

	"on":
	push:
	branches: [main]
	pull_request:
	workflow_dispatch:

	concurrency:
	# Abort pending builds if there's an update.
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	pre-commit:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
	with:
	ref: ${{ env.GIT_REF }}
	- uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v6.1.0
	with:
	path: ~/.cache/pre-commit
	key: pre-commit-${{ runner.os }}-${{ hashFiles('.pre-commit-config.yaml') }}
	- uses: pre-commit/action@2c7b3805fd2a0fd8c1884dcaebf91fc102a13ecd # v3.0.1
	env:
	# mypy runs in tox (tox -e type); skip here to avoid a full uv sync
	# that breaks pre-commit's hook caching.
	SKIP: mypy