Skip to content

[20542] Migrate apt package installation to eProsima-CI action (backport #4515)#4522

Merged
MiguelCompany merged 1 commit into2.10.xfrom
mergify/bp/2.10.x/pr-4515
Mar 7, 2024
Merged

[20542] Migrate apt package installation to eProsima-CI action (backport #4515)#4522
MiguelCompany merged 1 commit into2.10.xfrom
mergify/bp/2.10.x/pr-4515

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify bot commented Mar 6, 2024

This is an automatic backport of pull request #4515 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: JesusPoderoso <jesuspoderoso@eprosima.com>
(cherry picked from commit 22a5744)
@JesusPoderoso JesusPoderoso added the skip-ci Automatically pass CI label Mar 6, 2024
@JesusPoderoso JesusPoderoso added this to the v2.10.4 milestone Mar 6, 2024
@JesusPoderoso JesusPoderoso reopened this Mar 6, 2024
@JesusPoderoso JesusPoderoso added ready-to-merge Ready to be merged. CI and changes have been reviewed and approved. first-to-merge labels Mar 6, 2024
@MiguelCompany MiguelCompany merged commit 73a0f6c into 2.10.x Mar 7, 2024
@MiguelCompany MiguelCompany deleted the mergify/bp/2.10.x/pr-4515 branch March 7, 2024 06:44
cferreiragonz pushed a commit that referenced this pull request Mar 11, 2024
Signed-off-by: JesusPoderoso <jesuspoderoso@eprosima.com>
(cherry picked from commit 22a5744)

Co-authored-by: Jesús Poderoso <120394830+JesusPoderoso@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

first-to-merge ready-to-merge Ready to be merged. CI and changes have been reviewed and approved. skip-ci Automatically pass CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants