Automate docs publishing to GitHub Pages on master

[Copilot]

This PR adds automated docs publication for master by wiring the existing bin/docs generator into a GitHub Pages deployment workflow. It also makes the docs script fail fast so broken doc builds do not report success.

• Workflow: build + publish docs on master

  • Adds .github/workflows/docs.yml
  • Triggers on push to master (plus workflow_dispatch)
  • Builds docs with bash bin/docs
  • Uploads doc/compiled and deploys via actions/deploy-pages

• Docs script reliability

  • Updates bin/docs to use strict failure behavior (set -e) so CI fails when doc generation fails

on:
push:
branches: [ master ]jobs:
build:
steps:
- run: bash bin/docs
- uses: actions/upload-pages-artifact@v4with:
path: doc/compiled