Explicit state and event id minification #13909

	name: pre-commit
	permissions:
	contents: read

	concurrency:
	group: ${{ github.workflow }}-${{ github.event.pull_request.id \|\| github.sha }}
	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@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
	with:
	fetch-tags: true
	fetch-depth: 0
	persist-credentials: false
	- uses: ./.github/actions/setup_build_env
	with:
	python-version: "3.14"
	run-uv-sync: true
	# `uv sync` mutates tracked files (e.g. pyi_hashes.json), which would
	# cause pre-commit to flag changes that aren't from the PR. Re-checkout
	# with clean: false to restore source files while keeping the .venv.
	- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
	with:
	clean: false
	fetch-tags: true
	fetch-depth: 0
	persist-credentials: false
	- run: uv run pre-commit run --all-files --show-diff-on-failure
	# Partial/explicit-target generator runs merge into pyi_hashes.json rather
	# than pruning, so a deleted component can leave a stale entry behind. Fail
	# the build if any entry references a .py source that no longer exists.
	- run: uv run --no-sync python scripts/make_pyi.py --check

Provide feedback