feat: now pdf is compiling in actions #10

	name: Build LaTeX PDF

	on:
	pull_request:
	branches:
	- master

	jobs:
	build-pdf:
	runs-on: ubuntu-latest

	permissions:
	contents: write
	pull-requests: write

	steps:
	- name: Checkout PR branch
	uses: actions/checkout@v4
	with:
	ref: ${{ github.head_ref }}
	persist-credentials: true

	- name: Compile LaTeX
	uses: xu-cheng/latex-action@v4
	with:
	root_file: core-design-document.tex
	texlive_version: 2025
	os: debian
	latexmk_use_lualatex: true

	- name: Upload PDF artifact
	uses: actions/upload-artifact@v4
	with:
	name: core-design-document-pdf
	path: core-design-document.pdf


	- name: Commit updated PDF back to PR branch
	if: ${{ github.event.pull_request.head.repo.full_name == github.repository }}
	run: \|
	if git diff --quiet -- core-design-document.pdf; then
	echo "PDF not changed, nothing to commit."
	exit 0
	fi

	git config user.name "github-actions[bot]"
	git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git add core-design-document.pdf
	git commit -m "chore: update generated PDF from CI"
	git push origin "HEAD:${GITHUB_HEAD_REF}"

Provide feedback