Build

Fixing refresh page. #871

	name: Build
	on:
	push:
	pull_request:
	types: [opened, synchronize, reopened]
	jobs:
	build:
	name: Build
	runs-on: ubuntu-latest
	if: startsWith(github.event.head_commit.message, '🏁 Releasing version') != true
	steps:
	- uses: actions/checkout@v2
	with:
	fetch-depth: 0 # Shallow clones should be disabled for a better relevancy of analysis
	- name: Set up JDK 17
	uses: actions/setup-java@v1
	with:
	java-version: 17
	# - name: Cache Maven packages
	# uses: actions/cache@v1
	# with:
	# path: ~/.m2
	# key: ${{ runner.os }}-m2-${{ hashFiles('**/pom.xml') }}
	# restore-keys: ${{ runner.os }}-m2
	- name: Build
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to get PR information, if any
	SONAR_TOKEN: ${{ secrets.SONAR_TOKEN }}
	run: ./mvnw -B verify

Provide feedback