Navigate to element on title or description click (#300) #666

	name: Java CI with Maven

	on:
	push:
	branches: [master]
	pull_request:
	branches: [master]
	workflow_dispatch:

	jobs:
	build:
	name: Maven Build
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Cache local Maven repository
	uses: actions/cache@v3
	env:
	cache-name: cache-maven-dependencies
	with:
	path: ~/.m2/repository
	key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
	restore-keys: \|
	${{ runner.os }}-maven-

	- name: Set up JDK 17
	uses: actions/setup-java@v4
	with:
	java-version: '17'
	distribution: 'temurin'

	- name: Install pnpm
	uses: pnpm/action-setup@v4
	with:
	version: 9

	- name: Set up Node.js 21
	uses: actions/setup-node@v4
	with:
	node-version: 21
	cache: 'pnpm'
	cache-dependency-path: frank-doc-frontend/pnpm-lock.yaml

	- name: Build with Maven
	env:
	CI_SERVICE: GITHUB
	TZ: Europe/Amsterdam
	run: mvn -Pcodecoverage -Dmaven.javadoc.skip=true install

	- name: Upload coverage to Codecov
	uses: codecov/codecov-action@v3
	with:
	token: ${{ secrets.CODECOV_TOKEN }}

Provide feedback