Deploy docs to pages #2

	name: Deploy docs to pages
	on:
	workflow_dispatch:

	permissions:
	contents: read
	pages: write
	id-token: write

	concurrency:
	group: "pages"
	cancel-in-progress: false

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Set up JDK 17
	uses: actions/setup-java@v4
	with:
	java-version: '17'
	distribution: 'temurin'

	# Configure Gradle for optimal use in GitHub Actions, including caching of downloaded dependencies.
	# See: https://github.com/gradle/actions/blob/main/setup-gradle/README.md
	- name: Setup Gradle
	uses: gradle/actions/setup-gradle@94baf225fe0a508e581a564467443d0e2379123b # v4.3.0

	- name: Build with Gradle Wrapper
	run: ./gradlew :docs:asciidoctor

	- name: github pages artifacts
	id: deployment
	uses: actions/upload-pages-artifact@v3
	with:
	path: docs/build/docs/asciidoc/

	deploy:
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	needs: build
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback