Skip to content

Change condition for opening Pull Request#1346

Merged
dmikusa merged 1 commit intomainfrom
pacostas-patch-1
Apr 29, 2026
Merged

Change condition for opening Pull Request#1346
dmikusa merged 1 commit intomainfrom
pacostas-patch-1

Conversation

@pacostas
Copy link
Copy Markdown
Member

Summary

This PR changes condition for opening a PR on the builders. Practically it fixes a bug while updating the builders.

Use Cases

Checklist

  • I have viewed, signed, and submitted the Contributor License Agreement.
  • I have linked issue(s) that this PR should close using keywords or the Github UI (See docs)
  • I have added an integration test, if necessary.
  • I have reviewed the styleguide for guidance on my code quality.
  • I'm happy with the commit history on this PR (I have rebased/squashed as needed).

@pacostas pacostas requested review from a team as code owners April 29, 2026 17:26
@dmikusa dmikusa merged commit 0504017 into main Apr 29, 2026
4 checks passed
@dmikusa dmikusa deleted the pacostas-patch-1 branch April 29, 2026 17:41
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