Merge remote-tracking branch 'refs/remotes/origin/develop' into develop #2

	name: Build LaTeX document latexmk
	on:
	push:
	branches: [ "develop" ]
	workflow_dispatch:

	permissions:
	contents: write
	pages: write
	id-token: write

	jobs:
	build_latex:
	runs-on: ubuntu-latest
	steps:
	- name: Set up Git repository
	uses: actions/checkout@v4

	- name: Install LaTeX and dependencies
	run: \|
	sudo apt-get update && sudo apt-get install -y \
	latexmk \
	texlive \
	texlive-latex-extra \
	texlive-lang-italian

	- name: Pull latest changes
	run: \|
	git config --global user.name "github-actions[bot]"
	git config --global user.email "github-actions[bot]@users.noreply.github.com"
	git pull origin develop

	- name: Compile LaTeX document
	run: ./compile.sh


	- name: Add, commit and push changes
	run: \|
	git add .
	git commit -m "Compile PDF [bot] "
	git push

Provide feedback