build: use release of LSP4MP 0.13.0 + Quarkus LS 0.20.0 #3034

	# This workflow will build a Java project with Gradle
	# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-gradle

	name: Java CI with Gradle
	on:
	# Trigger the workflow on pushes to only the 'main' branch (this avoids duplicate checks being run e.g., for dependabot pull requests)
	push:
	branches: [ main ]
	# Trigger the workflow on any pull request
	pull_request:

	jobs:
	# Run tests and upload a code coverage report
	test:
	name: Test
	runs-on: ${{ matrix.os }}
	strategy:
	fail-fast: false
	matrix:
	os: [ ubuntu-latest, windows-latest, macos-latest ]
	steps:

	# Check out current repository
	- name: Fetch Sources
	uses: actions/checkout@v4

	# Set up Java environment for the next steps
	- name: Setup Java
	uses: actions/setup-java@v4
	with:
	distribution: temurin
	java-version: 17
	cache: maven

	# Setup Gradle
	- name: Setup Gradle
	uses: gradle/actions/setup-gradle@v3
	with:
	gradle-home-cache-cleanup: true

	# Run tests
	- name: Run Tests
	run: ./gradlew check

	# Collect Tests Result
	- name: Collect Tests Result
	if: ${{ success() \|\| failure()}}
	uses: actions/upload-artifact@v4
	with:
	name: tests-result-${{runner.os}}
	path: ${{ github.workspace }}/build/reports/tests

Provide feedback