Add main content to slides #3

	name: LaTeX build
	on:
	push:
	branches-ignore:
	- 'gh-action-result/pdf-output'
	workflow_dispatch:

	jobs:
	build_latex:
	runs-on: ubuntu-latest
	steps:
	- name: Set up Git repository
	uses: actions/checkout@v4
	- name: Compile LaTeX documents
	uses: xu-cheng/texlive-action@v2
	with:
	scheme: full
	run: \|
	pushd slides
	make
	popd
	mv slides/practical-mpi.pdf ./practical-mpi.pdf
	- name: Commit to orphan branch
	run: \|
	git checkout --orphan gh-action-result/pdf-output
	git rm -rf .
	git add practical-mpi.pdf
	git -c user.name='GitHub Action' -c user.email='action@github.com' commit -m "Built PDF documents"
	- name: Push changes
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: gh-action-result/pdf-output
	force: true

Provide feedback