Till Wegmueller 22987c764e ci: Add GitHub Actions workflow for deploying docs to Pages ... Builds the mdbook documentation and deploys to GitHub Pages on pushes to main that modify book/ files. Also supports manual dispatch via workflow_dispatch. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>		2026-02-14 18:00:48 +01:00
..
workflows	ci: Add GitHub Actions workflow for deploying docs to Pages	2026-02-14 18:00:48 +01:00