Skip to content

Backport to release/1.88#1699

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

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

Conversation

@ferrocene-automations
Copy link

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
Copy link
Member

@Hoverbear Hoverbear left a comment

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
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
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