Skip to content

use allocator via init_options argument. (backport #2129)#2131

Merged
fujitatomoya merged 1 commit intohumblefrom
mergify/bp/humble/pr-2129
Mar 20, 2023
Merged

use allocator via init_options argument. (backport #2129)#2131
fujitatomoya merged 1 commit intohumblefrom
mergify/bp/humble/pr-2129

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify bot commented Mar 17, 2023

This is an automatic backport of pull request #2129 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

Signed-off-by: Tomoya Fujita <Tomoya.Fujita@sony.com>
(cherry picked from commit 1a796b5)
@fujitatomoya
Copy link
Copy Markdown
Collaborator

after #2129 (comment) is confirmed, i will start the CI on this too.

@fujitatomoya fujitatomoya self-assigned this Mar 17, 2023
@fujitatomoya
Copy link
Copy Markdown
Collaborator

CI:

  • Linux Build Status
  • Linux-aarch64 Build Status
  • Windows Build Status

@fujitatomoya
Copy link
Copy Markdown
Collaborator

CI again

  • Linux Build Status
  • Linux-aarch64 Build Status
  • Windows Build Status

@fujitatomoya
Copy link
Copy Markdown
Collaborator

@fujitatomoya fujitatomoya merged commit 4196a2a into humble Mar 20, 2023
@delete-merged-branch delete-merged-branch bot deleted the mergify/bp/humble/pr-2129 branch March 20, 2023 20:36
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.

1 participant