Update workflow triggers to include specific paths for push events

[shibayan]

This pull request updates the GitHub Actions workflow triggers to optimize when builds and documentation deployments run. The changes ensure that workflows only execute when relevant files are modified, reducing unnecessary runs and improving CI efficiency.

Workflow trigger improvements:

• .github/workflows/build.yml: Added paths filters for both push and pull_request events so the build workflow only runs when .editorconfig, files in src/**, or the workflow file itself are changed. Also expanded pull_request types to include opened, reopened, synchronize, and ready_for_review.
• .github/workflows/docs.yml: Added paths filters for the push event so the docs deployment workflow only runs when files in docs/** or the workflow file itself are changed.

[Copilot]

Pull request overview

This PR optimizes CI execution by adding paths filters to GitHub Actions workflow triggers so builds and docs deployments only run when relevant files change.

Changes:

• Add paths filters to the build workflow for both push and pull_request events (and expand pull_request event types).
• Add paths filters to the docs deployment workflow for push events to master.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File	Description
.github/workflows/build.yml	Restricts build/test/lint runs to changes in .editorconfig, src/**, or the workflow file; expands PR trigger types.
.github/workflows/docs.yml	Restricts docs deployment runs to changes in docs/** or the workflow file.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.