Add generated PDF #340

	name: Build LaTeX document
	on: [push]

	jobs:
	build_latex:
	runs-on: ubuntu-latest
	steps:
	- name: Set up Git repository
	uses: actions/checkout@v3
	with:
	token: ${{ secrets.TOKEN }}
	- name: Compile LaTeX document
	uses: xu-cheng/latex-action@v3
	with:
	root_file: root.tex
	- name: Upload PDF file
	uses: actions/upload-artifact@v3
	with:
	name: PDF
	path: root.pdf
	- name: Commit and push PDF
	run: \|
	git config --local user.email "action@github.com"
	git config --local user.name "GitHub Action"
	git add root.pdf
	git commit -m "Add generated PDF" -a
	git push

Provide feedback