ci: skip workflows on docs-only changes

[tkhquang]

Summary

• Add paths filter to pr-check.yml and coverage-pages.yml so they only trigger on source, build config, or workflow file changes
• Docs-only PRs and pushes (README, .md files, etc.) no longer run the full build/test/coverage pipeline
• Manual workflow_dispatch is preserved for on-demand runs

Summary by CodeRabbit

• Chores
  • Optimized CI/CD workflow triggers to run only when relevant files are modified, improving build efficiency.

[coderabbitai]

📝 Walkthrough

Walkthrough

Added paths filters to two GitHub Actions workflows (coverage-pages.yml and pr-check.yml), restricting execution to changes affecting CMake configuration, external dependencies, include files, source code, tests, or the workflow files themselves.

Changes

Cohort / File(s)	Summary
GitHub Actions Workflow Configuration .github/workflows/coverage-pages.yml, .github/workflows/pr-check.yml	Added paths filter to trigger conditions, limiting workflow runs to only when changes are made to CMakeLists.txt, CMakePresets.json, external/**, include/**, src/**, tests/**, or the workflow file itself.

Estimated code review effort

🎯 1 (Trivial) | ⏱️ ~3 minutes

Possibly related PRs

• ci: add GitHub Pages coverage report and restructure workflows #28: Modifies the same GitHub Actions workflow files to add/rename workflow components, directly related to these path-filter updates.

🚥 Pre-merge checks | ✅ 2

✅ Passed checks (2 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title accurately describes the main change: adding path filters to skip CI workflows when only documentation files are modified.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

---

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[coderabbitai]

🧹 Nitpick comments (1)

.github/workflows/coverage-pages.yml (1)

6-13: Broaden workflow-file matching to avoid trigger drift.

This filter only includes one workflow file. If the intent is to run on workflow changes generally, use a broader pattern.

♻️ Suggested change

-      - '.github/workflows/coverage-pages.yml'
+      - '.github/workflows/**'

🤖 Prompt for AI Agents

Verify each finding against the current code and only fix it if needed.

In @.github/workflows/coverage-pages.yml around lines 6 - 13, The workflow's
paths filter explicitly lists only '.github/workflows/coverage-pages.yml', which
will miss other workflow file changes and cause trigger drift; update the paths
block (the list containing 'CMakeLists.txt', 'CMakePresets.json', ...,
'.github/workflows/coverage-pages.yml') to use a broader pattern such as
'.github/workflows/**' or include the appropriate wildcard(s) so changes to any
workflow file will trigger this workflow instead of only coverage-pages.yml.

🤖 Prompt for all review comments with AI agents

Verify each finding against the current code and only fix it if needed.

Nitpick comments:
In @.github/workflows/coverage-pages.yml:
- Around line 6-13: The workflow's paths filter explicitly lists only
'.github/workflows/coverage-pages.yml', which will miss other workflow file
changes and cause trigger drift; update the paths block (the list containing
'CMakeLists.txt', 'CMakePresets.json', ...,
'.github/workflows/coverage-pages.yml') to use a broader pattern such as
'.github/workflows/**' or include the appropriate wildcard(s) so changes to any
workflow file will trigger this workflow instead of only coverage-pages.yml.

---

ℹ️ Review info

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro

Run ID: c887dfe4-57e6-4467-afdf-6f420692b9a2

📥 Commits

Reviewing files that changed from the base of the PR and between a57bbfb and 91e6f7b.

📒 Files selected for processing (2)

• .github/workflows/coverage-pages.yml
• .github/workflows/pr-check.yml