Adding JDK20 instead of 18 in CI build #66

	name: build

	on:
	push:
	# Avoid workflow run for _merged_ `dependabot` PRs.
	# They were (hopefully!) already tested in PR-triggered workflow.
	branches-ignore: "dependabot/**"
	pull_request:
	paths-ignore:
	- "**.adoc"
	- "**.md"
	- "**.txt"

	permissions:
	contents: write
	pull-requests: write

	jobs:
	echo:
	runs-on: ubuntu-latest
	steps:
	- name: "Echo environment"
	run: \|
	echo "${{github.event_name}}"
	echo "${{github.actor}}"
	echo "${{github.event.pull_request.html_url}}"

	build:
	if: github.event_name == 'pull_request'
	runs-on: ${{ matrix.os }}
	needs: echo

	strategy:
	matrix:
	os: [ macos-latest, ubuntu-latest, windows-latest ]
	version: [11, 17]

	steps:
	- name: Checkout repository
	uses: actions/checkout@ac593985615ec2ede58e132d2e21d2b1cbd6127c # 3.3.0

	- name: Setup JDKs
	uses: actions/setup-java@1df8dbefe2a8cbc99770194893dd902763bee34b # 3.7.0
	with:
	distribution: temurin
	java-version: ${{ matrix.version }}
	java-package: jdk
	architecture: x64
	cache: maven

	- name: Build
	shell: bash
	run: mvn --batch-mode clean verify

	merge:
	if: github.event_name == 'pull_request' && github.actor == 'dependabot[bot]'
	runs-on: ubuntu-latest
	needs: build

	steps:
	- name: "[dependabot] Fetch metadata"
	id: metadata
	uses: dependabot/fetch-metadata@v1.3.6
	with:
	github-token: "${{ secrets.GITHUB_TOKEN }}"

	- name: "[dependabot] Auto-merge the PR"
	run: gh pr merge --auto --squash "$PR_URL"
	env:
	PR_URL: ${{ github.event.pull_request.html_url }}
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Provide feedback