Update README.md #4

	name: Documentation

	on:
	push:
	branches:
	- main # update to match your development branch (master, main, dev, trunk, ...)
	tags: '*'
	pull_request:

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: read
	pages: write
	id-token: write

	# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
	# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
	concurrency:
	group: "pages"
	cancel-in-progress: false

	jobs:
	build:
	permissions:
	contents: write
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: julia-actions/setup-julia@v1
	with:
	version: '1.9'
	- name: Install dependencies
	run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
	- name: Build and deploy
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
	run: julia --project=docs/ docs/make.jl

	# # Single deploy job since we're just deploying
	# deploy:
	# environment:
	# name: github-pages
	# url: ${{ steps.deployment.outputs.page_url }}
	# runs-on: ubuntu-latest
	# needs: build
	# steps:
	# - name: Checkout
	# uses: actions/checkout@v3
	# - name: Setup Pages
	# uses: actions/configure-pages@v3
	# - name: Upload artifact
	# uses: actions/upload-pages-artifact@v2
	# with:
	# # Upload entire repository
	# path: '.'
	# - name: Deploy to GitHub Pages
	# id: deployment
	# uses: actions/deploy-pages@v2

Provide feedback