better log -rf :eo-maven-plugin #16

	---
	name: sonar
	on:
	push:
	branches:
	- master
	concurrency:
	group: sonar-${{ github.ref }}
	cancel-in-progress: true
	jobs:
	sonar:
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
	with:
	fetch-depth: 0
	- uses: teatimeguest/[email protected]
	with:
	update-all-packages: true
	packages: scheme-basic geometry xcolor naive-ebnf microtype etoolbox
	- uses: actions/setup-java@v4
	with:
	java-version: 11
	distribution: 'zulu'
	- uses: actions/cache@v3
	with:
	path: ~/.sonar/cache
	key: ${{ runner.os }}-sonar
	restore-keys: ${{ runner.os }}-sonar
	- uses: actions/cache@v3
	with:
	path: ~/.m2
	key: ${{ runner.os }}-m2-${{ hashFiles('**/pom.xml') }}
	restore-keys: ${{ runner.os }}-m2
	- env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	SONAR_TOKEN: ${{ secrets.SONAR_TOKEN }}
	run: mvn --batch-mode -DskipTests -Dinvoker.skip verify org.sonarsource.scanner.maven:sonar-maven-plugin:sonar -Dsonar.qualitygate.wait=true

Provide feedback