Skip to content
New issue

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

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

Already on GitHub? # to your account

ci: minor fixes for version-15 (backport #323) #324

Merged
merged 1 commit into from
Nov 12, 2023

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Nov 12, 2023

This is an automatic backport of pull request #323 done by Mergify.


Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

skip ci test for beta branches

(cherry picked from commit 0799038)
@mergify mergify bot mentioned this pull request Nov 12, 2023
@akurungadam akurungadam merged commit e9a3296 into version-15-beta Nov 12, 2023
5 checks passed
@mergify mergify bot deleted the mergify/bp/version-15-beta/pr-323 branch November 12, 2023 12:55
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant