ci: update to latest Jenkinsfile #10

	name: Publish Development Build

	permissions:
	contents: write

	on:
	push:
	branches:
	- 'develop'

	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 snapshot-build
	- name: Get current date
	id: date
	run: echo "::set-output name=date::$(date +'%Y-%m-%d %H:%M:%S %Z')"
	- name: Create tag name from date
	id: tagdate
	run: echo "::set-output name=tagdate::$(date +'%Y-%m-%d_%H-%M-%S_%Z')"
	- name: Release
	id: create_release
	uses: softprops/action-gh-release@v2
	with:
	name: ${{ steps.date.outputs.date }}
	tag_name: ${{ steps.tagdate.outputs.tagdate }}
	generate_release_notes: true
	draft: false
	prerelease: true
	files: \|
	*/target/.jar
	install/*

Provide feedback