Update version #78

	# This workflow will upload docs to the gh-pages branch whenever something is pushed to main.

	name: Docs
	on:
	push:
	branches:
	- main

	jobs:
	upload_docs:
	name: upload docs
	runs-on: ubuntu-20.04
	env:
	GRGIT_USER: ${{ secrets.GRGIT_USER }}
	ACTIONS_ALLOW_UNSECURE_COMMANDS: true

	steps:
	- uses: actions/checkout@v3
	- name: Set up JDK 19
	uses: actions/setup-java@v3
	with:
	distribution: 'temurin'
	java-version: 19

	- name: Publish docs with Gradle
	run: gradle gitPublishPush

Provide feedback