build

fix(deps): update dependency org.apache.maven:maven-plugin-api to v3.… #1264

	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: [17, 21, 25]

	steps:
	- name: Checkout repository
	uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2

	- name: Setup JDKs
	uses: actions/setup-java@be666c2fcd27ec809703dec50e508c2fdc7f6654 # v5.2.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@21025c705c08248db411dc16f3619e6b5f9ea21a # v2.5.0
	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