updates #607

	name: Build and Deploy Website

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]
	release:
	types: [published]
	workflow_dispatch:

	jobs:
	build:
	# cancels the deployment for the automatic merge push created when tagging a release
	if: contains(github.ref, 'refs/tags') == false \|\| github.event_name == 'release'
	name: Build and Deploy Website
	runs-on: ubuntu-latest
	steps:
	- name: Checkout main
	uses: actions/checkout@v2

	- name: Set up Python 3.10
	uses: actions/setup-python@v2
	with:
	python-version: '3.10'

	- name: Install mkdocs dependencies
	run: \|
	pip install --upgrade pip
	pip install mkdocs-material
	pip install mkdocs-minify-plugin

	- name: Deploy Github Pages
	run: \|
	git pull
	mkdocs gh-deploy --no-history

	- name: Update me on this event
	run: \|
	curl "${{ secrets.GOTIFY_URL }}/message?token=${{ secrets.GOTIFY_TOKEN }}" -F "title=0xfab1.net updated" -F "message=${{ github.event.head_commit.message }}" -F "priority=5"

Provide feedback