Navigationsoptionen umgruppieren #55

	# This workflow will build a Java project with Maven, and cache/restore any dependencies to improve the workflow execution time
	# For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-java-with-maven

	# This workflow uses actions that are not certified by GitHub.
	# They are provided by a third-party and are governed by
	# separate terms of service, privacy policy, and support
	# documentation.

	name: Build and publish

	on:
	push:
	branches: [ "main" ]
	pull_request:
	branches: [ "main" ]

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	ssh-key: ${{ secrets.SSH_PRIVATE_KEY }}
	- name: Set up JDK 17
	uses: actions/setup-java@v3
	with:
	java-version: '17'
	distribution: 'temurin'
	cache: maven
	- name: Build with Maven
	run: mvn -B clean install --file pom.xml
	#- name: Prepare html file
	# run: cp ExtensionFramework/index.html ExtensionFramework/public/index.html
	- name: Prepare Page
	uses: actions/[email protected]
	with:
	path: ExtensionFramework/public
	#- name: Commit snapshot
	# uses: EndBug/[email protected]
	# with:
	# new_branch: releases
	# push: origin releases --set-upstream --force

	publish:
	needs: build

	permissions:
	pages: write
	id-token: write

	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}

	runs-on: ubuntu-latest
	steps:
	- name: Deploy to GitHub Pages
	uses: actions/deploy-pages@v4

Provide feedback