Bump version to 4.1.3 #5

	name: mkdocs-release

	on:
	push:
	branches: [branch-*]

	jobs:
	publish-release:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: set major/minor/bugfix release version
	working-directory: ./java
	run: echo "RELEASE_VERSION=$(mvn org.apache.maven.plugins:maven-help-plugin:2.1.1:evaluate -Dexpression=project.version \| grep -Ev 'Download\|INFO\|WARNING')" >> $GITHUB_ENV

	- name: set major/minor release version
	run: echo "MAJOR_VERSION=$(echo $RELEASE_VERSION \| sed 's/^$[0-9]\.[0-9]$.*$/\1/')" >> $GITHUB_ENV

	- uses: actions/setup-python@v5
	with:
	python-version: "3.10"

	- name: install deps
	working-directory: ./python
	run: cp ../README.md . && pip3 install -r ../requirements-docs.txt && pip3 install -e .[dev]

	- name: generate autodoc
	run: python3 ./python/auto_doc.py

	- name: Cache local Maven repository
	uses: actions/cache@v2
	with:
	path: ~/.m2/repository
	key: ${{ runner.os }}-maven-${{ hashFiles('java/pom.xml') }}
	restore-keys: \|
	${{ runner.os }}-maven-
	- name: Set up JDK 8
	uses: actions/setup-java@v3
	with:
	java-version: "8"
	distribution: "adopt"

	- name: Build java doc documentation
	working-directory: ./java
	run:
	mvn clean install javadoc:javadoc javadoc:aggregate -DskipTests && cp -r target/site/apidocs ../docs/javadoc

	- name: setup git
	run: \|
	git config --global user.name Mike
	git config --global user.email [email protected]

	- name: mike deploy docs
	run: \|
	mike deploy ${{ env.RELEASE_VERSION }} ${{ env.MAJOR_VERSION }} -u --push
	mike alias ${{ env.RELEASE_VERSION }} latest -u --push

Provide feedback