Deploy Docs #72

	name: Deploy Docs

	on:
	workflow_run:
	workflows: ["Build, Test, and Publish NuGet Package"]
	types:
	- completed

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: write
	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:
	deploy_docs:
	if: ${{ github.event.workflow_run.conclusion == 'success' }}
	runs-on: ubuntu-latest
	steps:
	- name: Checkout Repository
	uses: actions/checkout@v4

	- name: Set Up Python
	uses: actions/setup-python@v4
	with:
	python-version: "3.x"

	- name: Set Cache ID
	run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV

	- name: Cache MkDocs Material
	uses: actions/cache@v3
	with:
	key: mkdocs-material-${{ env.cache_id }}
	path: .cache
	restore-keys: \|
	mkdocs-material-

	- name: Install uv
	run: \|
	curl -LsSf https://astral.sh/uv/install.sh \| sh
	echo "$HOME/.local/bin" >> $GITHUB_PATH

	- name: Install Dependencies
	run: uv sync --extra docs --frozen

	- name: Deploy to GitHub Pages
	env:
	JUPYTER_PLATFORM_DIRS: 1
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	uv run mkdocs gh-deploy --force

Provide feedback