Fix the "deploy docs" Github Actions workflow (#34) #7

	name: Publish docs via GitHub Pages
	on:
	push:
	branches:
	- master

	jobs:
	build:
	name: Deploy docs
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	- name: Set up Python 3.12
	uses: actions/setup-python@v5
	with:
	python-version: 3.12
	- name: Install pdm
	run: pip install pdm
	- name: Install dependencies
	run: pdm install

	- name: Deploy docs
	run: pdm run mkdocs gh-deploy --force
	# note: Checking if we really need the one below:
	# uses: mhausenblas/[email protected]
	# # Or use mhausenblas/mkdocs-deploy-gh-pages@nomaterial to build without the mkdocs-material theme
	# env:
	# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Provide feedback