Fix gh-pages deploy: restore java lock URL and build docs on PRs #29

	name: Deploy to GitHub Pages

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

	permissions: {}

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

	jobs:
	build-and-deploy:
	runs-on: ubuntu-latest
	permissions:
	contents: write
	steps:
	- uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
	with:
	persist-credentials: false

	- name: Setup mise
	uses: jdx/mise-action@e6a8b3978addb5a52f2b4cd9d91eafa7f0ab959d # v4.2.0
	with:
	cache: true

	- name: Build docs
	env:
	HUGO_BASEURL: https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/
	run: mise run build-docs

	# Only publish from pushes to main. On pull requests the steps above
	# still run (building the docs and exercising `mise install --locked`),
	# so a broken lockfile or docs build is caught before merge.
	- name: Push rendered site to gh-pages
	if: github.event_name == 'push' && github.ref == 'refs/heads/main'
	uses: peaceiris/actions-gh-pages@84c30a85c19949d7eee79c4ff27748b70285e453 # v4.1.0
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./docs/public
	publish_branch: gh-pages
	keep_files: true
	user_name: "github-actions[bot]"
	user_email: "41898282+github-actions[bot]@users.noreply.github.com"

Provide feedback