chore(deps): update dependency gradle to v8.12 #517

	name: Build and deploy
	on:
	push:
	paths:
	- 'docs/**'
	- '.github/workflows/publish-doc.yaml'
	pull_request:
	workflow_dispatch:

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: write
	pages: write
	id-token: write

	jobs:
	Build-Deploy-Slides:
	if: github.ref == 'refs/heads/master'
	runs-on: ubuntu-latest
	steps:
	- uses: DanySK/compile-and-publish-all-latex@2.0.28
	with:
	token: ${{ secrets.GITHUB_TOKEN }}

	Build-Documentation-Site:
	runs-on: ubuntu-latest
	concurrency:
	group: slides-${{ github.ref }}
	cancel-in-progress: false
	steps:
	- name: Checkout
	uses: danysk/action-checkout@0.2.14
	- name: Compute the version of Hugo
	id: hugo
	shell: bash
	run: \|
	USES=$(cat <<TRICK_RENOVATE
	- uses: gohugoio/hugo@v0.124.1
	TRICK_RENOVATE
	)
	echo "Scripts update line: \"$USES\""
	echo "Computed version: \"${USES#*@v}\""
	echo "version=${USES#*@v}" >> "$GITHUB_OUTPUT"
	- name: Download Hugo
	run: \|
	HUGO_VERSION="${{ steps.hugo.outputs.version }}"
	URL="https://github.com/gohugoio/hugo/releases/download/v${HUGO_VERSION}/hugo_extended_${HUGO_VERSION}_linux-amd64.deb"
	wget --retry-connrefused --waitretry=1 --read-timeout=20 "$URL" --output-document=hugo.deb
	- name: Install Hugo
	run: sudo dpkg -i hugo.deb
	- name: Remove Hugo Installer
	run: rm hugo.deb
	- name: Build slides with hugo
	run: \|
	cd docs/site
	hugo
	- name: Deployment
	if: github.ref == 'refs/heads/master'
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_branch: docs
	publish_dir: ./docs/site/public

Provide feedback