Refresh versions.properties (#83) #462

	on:
	push:
	branches:
	- '*'
	pull_request:
	branches:
	- '*'
	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4.2.2
	with:
	# required by release-tag.sh to correctly identify files changed in the last commit
	fetch-depth: 2
	# required by release-tag.sh to allow pushing with another credentials so other workflows are triggered
	persist-credentials: false
	- uses: actions/setup-java@v4.5.0
	with:
	distribution: temurin
	java-version: 21
	- name: Cache Gradle packages
	uses: actions/cache@v4.1.2
	with:
	path: \|
	~/.gradle/caches
	~/.gradle/wrapper
	key: ${{ runner.os }}-gradle-${{ hashFiles('*/.gradle', '*/gradle-wrapper.properties') }}
	restore-keys: \|
	${{ runner.os }}-gradle-
	- name: Build
	run: ./build-ci.sh
	- name: Cleanup Gradle Cache
	# Remove some files from the Gradle cache, so they aren't cached by GitHub Actions.
	# Restoring these files from a GitHub Actions cache might cause problems for future builds.
	run: \|
	rm -f ~/.gradle/caches/modules-2/modules-2.lock
	rm -f ~/.gradle/caches/modules-2/gc.properties
	- name: Release (if required)
	run: \|
	git config user.name github-actions
	git config user.email github-actions@github.com
	git remote set-url origin https://x-access-token:${{ secrets.ORG_PUBLIC_REPO_RELEASE_TRIGGERING }}@github.com/${GITHUB_REPOSITORY}.git
	./release-tag.sh
	if: github.ref == 'refs/heads/trunk'
	env:
	GH_TOKEN: ${{ secrets.ORG_PUBLIC_REPO_RELEASE_TRIGGERING }}

Provide feedback