Merge pull request 'Release v24.07' (#7) from release_24.07 into master #5

	name: Publish Release Build

	permissions:
	contents: write

	on:
	push:
	tags:
	- 'v*'

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Check out source code
	uses: actions/checkout@v4
	- name: Set up JDK 17
	uses: actions/setup-java@v1
	with:
	java-version: 17
	- name: Set up Maven cache
	uses: actions/cache@v1
	with:
	path: ~/.m2/repository
	key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
	restore-keys: \|
	${{ runner.os }}-maven-
	- name: Build with Maven
	run: mvn clean verify -U -P release-build
	- name: Release
	id: create_release
	uses: softprops/action-gh-release@v2
	with:
	name: Release ${{ github.ref_name }}
	generate_release_notes: true
	draft: false
	prerelease: false
	files: \|
	*/target/.jar
	install/*

Provide feedback