Skip to content

👷 ci: remove paths-filter and simplify workflow dependencies#1385

Merged
harehare merged 2 commits intomainfrom
chore/ci-remove-paths-filter
Mar 4, 2026
Merged

👷 ci: remove paths-filter and simplify workflow dependencies#1385
harehare merged 2 commits intomainfrom
chore/ci-remove-paths-filter

Conversation

@harehare
Copy link
Copy Markdown
Owner

@harehare harehare commented Mar 4, 2026

Refactor CI workflows to remove dorny/paths-filter and direct job dependencies. Benchmarks and docs deploy jobs now run based on file path triggers and actor checks, improving reliability and maintainability.

Refactor CI workflows to remove dorny/paths-filter and direct job dependencies. Benchmarks and docs deploy jobs now run based on file path triggers and actor checks, improving reliability and maintainability.
Copilot AI review requested due to automatic review settings March 4, 2026 12:59
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR refactors CI workflows to remove the dorny/paths-filter-based “changes” jobs and instead rely on GitHub Actions on.<event>.paths filters (and job-level if conditions) to decide when docs deployments and benchmarks run.

Changes:

  • Added paths filters to workflow triggers to scope docs deploy and benchmark runs to relevant file changes.
  • Removed the changes jobs that previously used dorny/paths-filter and job-output gating.
  • Moved/adjusted conditional execution logic to job-level if (benchmarks), and simplified job dependency structure.

Reviewed changes

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

File Description
.github/workflows/pages.yml Adds on.push.paths for docs/playground and removes the paths-filter “changes” job gating.
.github/workflows/bench.yml Adds on.push/pull_request.paths for crates/mq-lang/** and removes the paths-filter “changes” job gating, using a job-level if.

@harehare harehare merged commit 140c929 into main Mar 4, 2026
4 checks passed
@harehare harehare deleted the chore/ci-remove-paths-filter branch March 4, 2026 13:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants