Documentation #57

	name: Documentation
	on:
	merge_group:
	pull_request:
	push:
	branches:
	- main
	tags: '*'
	workflow_dispatch:

	jobs:
	docs-build:
	runs-on: ubuntu-latest
	steps:
	- name: Set up Actions
	uses: actions/checkout@v1
	- name: Set up Julia
	uses: julia-actions/setup-julia@v1
	with:
	version: "1"
	- name: Use Github Registry
	run: julia -e 'using Pkg; Pkg.Registry.rm("General"); Pkg.Registry.add(RegistrySpec(url="https://github.com/JuliaRegistries/General"))'
	- name: Install Dependencies
	run: julia --project=docs/ -e 'using Pkg; Pkg.develop(path="."); Pkg.instantiate();'
	- name: Build and deploy
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: julia --project=docs/ docs/make.jl

Provide feedback