Update Burkholder_documentation.pdf #43

	name: Lean build

	on:
	push:
	pull_request:

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	# 1. Clona o repositório
	- uses: actions/checkout@v3

	# 2. Cache do elan (Lean toolchain)
	- name: Cache elan
	uses: actions/cache@v3
	with:
	path: ~/.elan
	key: ${{ runner.os }}-elan-${{ hashFiles('lean-toolchain') }}

	# 3. Instala Lean (rápido se vier do cache)
	- name: Install Lean
	run: \|
	curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- -y
	echo "$HOME/.elan/bin" >> $GITHUB_PATH

	# 4. Cache do projeto (.lake + deps)
	- name: Cache lake
	uses: actions/cache@v3
	with:
	path: \|
	.lake
	build
	key: ${{ runner.os }}-lake-${{ hashFiles('lakefile.lean') }}

	# 5. Baixa dependências
	- name: Update deps
	run: lake update

	# 6. Build
	- name: Build
	run: lake build

Provide feedback