Simple actions #5

	name: Documentation

	on: push

	# Ensure that only one "Doc Preview Cleanup" workflow is force pushing at a time
	concurrency:
	group: doc-preview-cleanup
	cancel-in-progress: false

	jobs:
	doc-preview-cleanup:
	runs-on: ubuntu-latest
	permissions:
	contents: write
	steps:
	- name: Checkout gh-pages branch
	uses: actions/checkout@v4
	with:
	ref: gh-pages
	- name: Delete preview and history + push changes
	run: \|
	if [ -d "${preview_dir}" ]; then
	git config user.name "Documenter.jl"
	git config user.email "[email protected]"
	git rm -rf "${preview_dir}"
	git commit -m "delete preview"
	git branch gh-pages-new $(echo "delete history" \| git commit-tree HEAD^{tree})
	git push --force origin gh-pages-new:gh-pages
	fi
	env:
	preview_dir: previews/PR${{ github.event.number }}
	build:
	permissions:
	contents: write
	pull-requests: read
	statuses: write
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: julia-actions/setup-julia@v2
	with:
	version: '1.10'
	- uses: julia-actions/cache@v1
	- name: Install dependencies
	run: julia -e 'using Pkg; Pkg.add("Documenter"); Pkg.instantiate()'
	- name: Build and deploy
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
	run: julia docs/make.jl

Provide feedback