Merge to Main by @renovate[bot] #19

	---
	name: Merge to Main
	run-name: \|
	Merge to Main by @${{ github.actor }}

	on:
	push:
	branches: [main]
	schedule:
	- cron: "0 12 * * 5"
	workflow_dispatch:

	concurrency:
	group: pages
	cancel-in-progress: false

	permissions:
	contents: read
	pages: write
	id-token: write
	actions: read

	jobs:
	deploy-guide:
	name: Deploy Documentation
	runs-on: ubuntu-latest
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	steps:
	- name: Checkout Code
	uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7

	- name: Setup Python
	uses: actions/setup-python@ece7cb06caefa5fff74198d8649806c4678c61a1 # v6
	with:
	python-version: "3.14.6"
	cache: "pip"

	- name: Install Dependencies
	run: pip install -r requirements.txt

	- name: Build Documentation
	run: ./build.sh

	- name: Upload Pages Artifact
	uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5
	with:
	path: ./build/html

	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5

	security-secrets:
	uses: arillso/.github/.github/workflows/security-secrets.yml@2026-06-18

Provide feedback