Bump mkdocs-material from 9.5.24 to 9.5.25 in /docs (#773) #2595

	name: Documentation

	on:
	push:
	pull_request:
	release:
	types: [ published ]

	env:
	JDK_DISTRIBUTION: zulu
	JDK_VERSION: 11

	jobs:
	documentation:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0 # Fetch history and tags; necessary for computing app version.
	- name: Set up JDK ${{ env.JDK_VERSION }}
	uses: actions/setup-java@v4
	with:
	distribution: ${{ env.JDK_DISTRIBUTION }}
	java-version: ${{ env.JDK_VERSION }}
	- name: Setup Gradle
	uses: gradle/actions/setup-gradle@v3
	- name: Install pipenv
	run: pipx install pipenv
	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.9'
	cache: 'pipenv'
	- name: Generate documentation with MkDocs
	run: './gradlew printVersion :docs:mkdocsBuild'
	- name: Set up Git credentials
	run: \|
	git config user.name github-actions
	git config user.email [email protected]
	- name: Publish documentation to GitHub Pages
	if: github.event_name == 'release'
	run: './gradlew :docs:mkdocsPublish'

Provide feedback