build

Dealing with zombie processes #392

	name: build
	on:
	push:
	# branches-ignore:
	# - 'dependabot/**' #avoid duplicates: only run the PR, not the commit
	# - 'gh-pages' #github pages do not trigger all tests
	# tags-ignore:
	# - 'v*' #avoid rerun existing commit on release
	# pull_request:
	# branches:
	# - 'main'
	jobs:
	build:
	runs-on: ubuntu-latest
	#if: ${{ false }} # disable for now
	permissions:
	statuses: write
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-java@v4
	with:
	distribution: 'temurin'
	java-version: '17'
	cache: 'maven'

	- name: Init jenkins commit status (optional)
	run: \|
	curl -L -X POST https://api.github.com/repos/${{ github.repository }}/statuses/${{ github.sha }} \
	-H "Accept: application/vnd.github+json" \
	-H "Authorization: Bearer ${{ secrets.GITHUB_TOKEN }}" \
	-H "X-GitHub-Api-Version: 2022-11-28" \
	-d "{\"state\":\"pending\", \"context\":\"Jenkins CI\"}"

	- name: Build only, tests run in on-premises Jenkins
	run: mvn test-compile -U --no-transfer-progress

Provide feedback