Merge #1357 into v5 (Get skin from profile properties by property name) #1263

	name: Build
	on:
	push:
	branches:
	- v5
	jobs:
	build:
	name: Build
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4 # https://github.com/actions/checkout/releases
	with:
	fetch-depth: 0 # Shallow clones should be disabled for a better relevancy of analysis
	- name: Set up JDK 21
	uses: actions/setup-java@v4 # https://github.com/actions/setup-java/releases
	with:
	distribution: 'temurin'
	java-version: 21
	- name: Cache Gradle
	uses: actions/[email protected] # https://github.com/actions/cache/releases
	with:
	path: \|
	~/.gradle/caches
	~/.gradle/wrapper
	key: ${{ runner.os }}-gradle-${{ hashFiles('*/.gradle', '*/gradle-wrapper.properties') }}
	restore-keys: \|
	${{ runner.os }}-gradle-
	- name: Build and analyze
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to get PR information, if any
	run: ./gradlew clean build
	- name: Rename JAR with Build Number
	run: \|
	original_jar=$(find jar/build/libs -type f -name "TAB-*.jar")
	new_name=$(echo "$original_jar" \| sed "s/TAB-$.*$\.jar/TAB-\1+${{ github.run_number }}.jar/")
	mv "$original_jar" "$new_name"
	- name: Upload a Build Artifact
	uses: actions/[email protected] # https://github.com/actions/upload-artifact/releases
	with:
	name: Click here to download
	path: jar/build/libs/TAB-*+${{ github.run_number }}.jar

Provide feedback