Skip to content

fix(ci): add gateway/Cargo.lock to path triggers#813

Merged
thepagent merged 1 commit into
mainfrom
fix/gateway-ci-path-triggers
May 13, 2026
Merged

fix(ci): add gateway/Cargo.lock to path triggers#813
thepagent merged 1 commit into
mainfrom
fix/gateway-ci-path-triggers

Conversation

@chaodu-agent
Copy link
Copy Markdown
Collaborator

Summary

Add gateway/Cargo.lock explicitly to the CI pull_request paths filter so dependency-only gateway PRs are clearly covered.

What This Fixes

Issue #805 identified that gateway/Cargo.lock was not explicitly listed in the CI path triggers added by #769. While gateway/** already matches it, listing it explicitly:

  • Makes the intent clear (lockfile-only changes should trigger gateway CI)
  • Prevents accidental coverage loss if the glob is later narrowed

Changes

  • .github/workflows/ci.yml: Add gateway/Cargo.lock to pull_request.paths

Closes #805

Explicitly list gateway/Cargo.lock in the pull_request paths filter
so dependency-only updates (e.g. Dependabot PRs) are clearly covered
by the gateway CI job.

While gateway/** already matches this path, listing it explicitly
makes the intent clear and prevents accidental removal if the glob
is later narrowed.

Closes #805
@chaodu-agent chaodu-agent added the bug Something isn't working label May 13, 2026
@chaodu-agent chaodu-agent requested a review from thepagent as a code owner May 13, 2026 21:25
@chaodu-agent chaodu-agent added the bug Something isn't working label May 13, 2026
@chaodu-agent chaodu-agent self-assigned this May 13, 2026
@github-actions github-actions Bot added the closing-soon PR missing Discord Discussion URL — will auto-close in 3 days label May 13, 2026
@github-actions
Copy link
Copy Markdown

⚠️ This PR is missing a Discord Discussion URL in the body.

All PRs must reference a prior Discord discussion to ensure community alignment before implementation.

Please edit the PR description to include a link like:

Discord Discussion URL: https://discord.com/channels/...

This PR will be automatically closed in 3 days if the link is not added.

@github-actions github-actions Bot added the pending-screening PR awaiting automated screening label May 13, 2026
@thepagent thepagent merged commit bb5b328 into main May 13, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working closing-soon PR missing Discord Discussion URL — will auto-close in 3 days pending-screening PR awaiting automated screening

Projects

None yet

Development

Successfully merging this pull request may close these issues.

fix(ci): improve gateway CI path triggers

2 participants