Repository navigation

Core: Note the per-nesting-level pool allocation as a TODO #629

	# This is a format job. Pre-commit has a first-party GitHub action, so we use
	# that: https://github.com/pre-commit/action

	name: Format

	on:
	workflow_dispatch:
	push:

	jobs:
	pre-commit:
	name: Format
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7
	- uses: actions/setup-python@v7
	with:
	python-version: "3.x"
	- uses: pre-commit/action@v3.0.1