Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Restrict docs and dev CI to changes in their respective domains #3991

Open
ricab opened this issue Mar 21, 2025 · 0 comments
Open

Restrict docs and dev CI to changes in their respective domains #3991

ricab opened this issue Mar 21, 2025 · 0 comments
Assignees
Labels
enhancement jira Create a Jira ticket for this issue needs triage Issue needs to be triaged

Comments

@ricab
Copy link
Collaborator

ricab commented Mar 21, 2025

To avoid failing unrelated PRs.

@ricab ricab added enhancement jira Create a Jira ticket for this issue needs triage Issue needs to be triaged labels Mar 21, 2025
@ricab ricab self-assigned this Mar 21, 2025
@ricab ricab changed the title Restrict docs CI to PRs that change docs Restrict docs and dev CI to changes in their respective domains Mar 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement jira Create a Jira ticket for this issue needs triage Issue needs to be triaged
Projects
None yet
Development

No branches or pull requests

1 participant