Docs

Merge pull request #199 from infinyon/ac/ci-update-java #143

	name: Docs

	concurrency:
	group: docs-${{ github.ref }}
	cancel-in-progress: true

	permissions:
	# contents permission to update benchmark contents in gh-pages branch
	contents: write

	on:
	workflow_dispatch:
	push:
	branches: [ main ]
	tags:
	- 'v*'
	jobs:
	docs:
	name: build and push static docs
	runs-on: ${{ matrix.os }}
	strategy:
	matrix:
	os: [ubuntu-latest]
	java: [17]
	steps:
	- uses: actions/checkout@v4
	with:
	persist-credentials: false # otherwise, the token used is the GITHUB_TOKEN, instead of your personal token
	fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
	- name: Setup java
	uses: actions/setup-java@v4
	with:
	java-version: ${{ matrix.java }}
	cache: 'gradle'
	distribution: 'temurin'

	- name: "Git Fetch & Checkout"
	run: \|
	git config --local user.email "[email protected]"
	git config --local user.name "Fluvio Authors"
	git fetch --all
	git checkout -b docs --track origin/docs
	git merge -X theirs origin/main -m "Merge remote-tracking branch 'origin/main into docs" --allow-unrelated-histories
	- name: Build docs
	run: \|
	make docs
	rm -rf docs
	cp -r fluvio/build/docs/javadoc docs
	touch docs/.nojekyll
	- name: Commit files
	run: \|
	git add --force docs
	git commit -m "Updated Fluvio Node.js client docs" -a \|\| true
	- name: Push changes
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: docs

Provide feedback