chore(deps): update actions/setup-java action to v3.12.0 #1727

	#
	# Yet Another UserAgent Analyzer
	# Copyright (C) 2013-2023 Niels Basjes
	#
	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# https://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software
	# distributed under the License is distributed on an AS IS BASIS,
	# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	# See the License for the specific language governing permissions and
	# limitations under the License.
	#
	name: Documentation Website

	on:
	push:
	branches:
	- main # Set a branch to deploy
	pull_request:

	jobs:
	deploy:
	runs-on: ubuntu-20.04
	steps:
	- uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3
	with:
	submodules: true # Fetch Hugo themes (true OR recursive)
	fetch-depth: 0 # Fetch all history for .GitInfo and .Lastmod

	- name: Setup Hugo
	uses: peaceiris/actions-hugo@16361eb4acea8698b220b76c0d4e84e1fd22c61d # v2.6.0
	with:
	hugo-version: 'latest'
	# extended: true

	- name: Build
	run: cd documentation && hugo --minify

	- name: Deploy
	uses: peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847 # v3.9.3
	if: github.ref == 'refs/heads/main'
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./documentation/public

Provide feedback