Skip to content

ci: port main version of .github dir to release branch #3855

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

Draft
wants to merge 1 commit into
base: release/v1.9
Choose a base branch
from

Conversation

jharvey10
Copy link
Contributor

PR Description

Synchronizes the github workflows with the main branch.

@jharvey10
Copy link
Contributor Author

jharvey10 commented Jun 16, 2025

It makes sense that this PR fails because of the integration tests, as this was a problem on main that required both a code change, a workflow change, and a dependency update. These workflow checks aren't all idempotent, so this is bound to happen over time.

I suppose the more tactical approach for these older release branches is to just fix the zizmor issues and move on ignoring the other failing checks, though it's a little unfortunate that we're subjecting docs changes (which are self-isolated) to a much broader process that is prone to more failure over time than the docs process itself.

Wondering if a potential solution here is to add more hierarchy to the github workflows that get run on a PR so we can skip any checks that are irrelevant to the changes in question.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
1 participant