doc\chapters\simulation\interleaving.tex #33

	name: Move doc/main.pdf to root

	on:
	push:
	branches:
	- doc
	- main

	permissions:
	contents: write

	jobs:
	move-pdf-and-push:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v3

	- name: Move PDF if exists
	run: \|
	if [ -f doc/main.pdf ]; then
	mv doc/main.pdf main.pdf
	else
	echo "doc/main.pdf does not exist, skipping move step."
	fi

	- name: Set up Git
	run: \|
	git config user.email "actions@github.com"
	git config user.name "GitHub Actions"
	base_branch=$(echo "${GITHUB_REF#refs/heads/}")

	- name: Commit and push changes
	run: \|
	if git diff-index --quiet HEAD; then
	echo "No changes to commit, skipping commit and push."
	else
	git add --all
	git commit -m "Move main.pdf to root folder"
	git push origin $base_branch
	fi

Provide feedback