Repository navigation

docs

1.3.0: the Meta login reaches the Muse Code subscription (Muse Wonder… #4

	name: docs

	on:
	push:
	branches: [main]
	workflow_dispatch:

	# Default to nothing; only the deploy job gets the write it needs.
	permissions: {}

	jobs:
	deploy:
	permissions:
	contents: write # mkdocs gh-deploy pushes to the gh-pages branch
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
	- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7.0.0
	with:
	python-version: "3.13"
	- name: Install
	run: \|
	python -m pip install -e .
	python -m pip install mkdocs-material "mkdocstrings[python]"
	- name: Deploy
	run: mkdocs gh-deploy --force