1 commit

Author	SHA1	Message	Date
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