Publish the website #34

	name: Publish the website
	on:
	workflow_dispatch:
	push:
	branches:
	- "!*"
	tags:
	- '[0-9]+.[0-9]+.[0-9]+*'
	jobs:
	publish-website:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	name: Checkout code
	with:
	fetch-depth: 0 # fetch all commits and branches for mike to work properly
	- uses: actions/setup-java@v4
	name: Set up Java 21
	with:
	java-version: 21
	distribution: temurin
	cache: maven
	- uses: actions/setup-python@v5
	name: Set up Python
	with:
	python-version: 3.x
	- name: Tools setup
	run: \|
	git config --global user.name "SmallRye CI"
	git config --global user.email "smallrye@googlegroups.com"
	cd docs
	sudo snap install yq
	pip3 install pipenv
	pipenv install
	cd ..
	- name: Build local artifacts
	run: mvn -B install -DskipTests
	- name: Render docs and publish
	run: .github/render-documentation.sh

Provide feedback