Skip to content

Backport to release/1.88#1699

Merged
bors-ferrocene[bot] merged 1 commit into
release/1.88from
automation/backport/58ys5ihn
Aug 26, 2025
Merged

Backport to release/1.88#1699
bors-ferrocene[bot] merged 1 commit into
release/1.88from
automation/backport/58ys5ihn

Conversation

@ferrocene-automations

Copy link
Copy Markdown

This PR backports the following PRs to the release/1.88 branch:

@ferrocene-automations ferrocene-automations Bot added automation Issue or PR created by an automation backport:never PR that should never be backported labels Aug 25, 2025

@Hoverbear Hoverbear left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors merge

@bors-ferrocene

Copy link
Copy Markdown
Contributor

🕐 Waiting for PR status (Github check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set.

@bors-ferrocene

Copy link
Copy Markdown
Contributor

Build succeeded:

@bors-ferrocene bors-ferrocene Bot merged commit 3f079fc into release/1.88 Aug 26, 2025
14 checks passed
@bors-ferrocene bors-ferrocene Bot deleted the automation/backport/58ys5ihn branch August 26, 2025 01:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automation Issue or PR created by an automation backport:never PR that should never be backported merged-in:1.88

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant