add raw headers to headers #9131

	name: pre-commit

	concurrency:
	group: ${{ github.workflow }}-${{ github.event.pull_request.id }}
	cancel-in-progress: true

	on:
	pull_request:
	branches: ["main"]
	push:
	# Note even though this job is called "pre-commit" and runs "pre-commit", this job will run
	# also POST-commit on main also! In case there are mishandled merge conflicts / bad auto-resolves
	# when merging into main branch.
	branches: ["main"]

	jobs:
	pre-commit:
	timeout-minutes: 30
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: ./.github/actions/setup_build_env
	with:
	# running vs. one version of Python is OK
	# i.e. ruff, black, etc.
	python-version: 3.12.8
	run-uv-sync: true

	# TODO pre-commit related stuff can be cached too (not a bottleneck yet)
	- run: \|
	uv pip install pre-commit
	uv run pre-commit run --all-files
	env:
	SKIP: update-pyi-files

Provide feedback