Docs

Config-driven monitor #66

	name: Docs

	on:
	push:
	branches: [main]
	pull_request:
	types: [opened, synchronize, reopened]
	workflow_dispatch:

	permissions:
	contents: write
	issues: write
	pull-requests: write

	concurrency:
	group: docs-pages
	cancel-in-progress: true

	jobs:
	publish:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- uses: actions/setup-python@v5
	with:
	python-version: "3.11"

	- name: Install documentation dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install -e .[docs]
	pip install -e ./jumper_wrapper_kernel

	- name: Build
	run: mkdocs build --clean

	- name: Publish to gh-pages
	uses: peaceiris/actions-gh-pages@v4
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_branch: gh-pages
	publish_dir: ./site
	destination_dir: ${{ github.event_name == 'push' && '' \|\| format('pr-{0}', github.event.pull_request.number) }}
	keep_files: true

	- name: Publish latest (main)
	if: github.ref == 'refs/heads/main' && github.event_name == 'push'
	uses: peaceiris/actions-gh-pages@v4
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_branch: gh-pages
	publish_dir: ./site
	destination_dir: latest
	keep_files: true

	- name: Comment preview URL on PR
	if: github.event_name == 'pull_request'
	uses: actions/github-script@v7
	with:
	script: \|
	const pr = context.payload.pull_request.number;
	const url = `https://${context.repo.owner}.github.io/${context.repo.repo}/pr-${pr}/`;
	await github.rest.issues.createComment({
	owner: context.repo.owner,
	repo: context.repo.repo,
	issue_number: pr,
	body: `Docs preview: ${url}`
	});

Provide feedback