Scope docs workflow to only trigger on docs/ changes

[Copilot]

The Build and Deploy Sphinx Documentation workflow fired on every push to master, regardless of whether any documentation changed.

Change

Added a paths filter to the workflow trigger so it only runs when files under docs/ are modified:

on:
  push:
    branches:
      - master
    paths:
      - 'docs/**'

---

⌨️ Start Copilot coding agent tasks without leaving your editor — available in VS Code, Visual Studio, JetBrains IDEs and Eclipse.