Skip to content

Conversation

@pquentin
Copy link
Member

Backport

This will backport the following commits from main to 8.18:

Questions ?

Please refer to the Backport tool documentation

* Update PR comments in place

Currently, we post a new comment for each change, which is just spam for PRs
with many iterations.

* Pin actions by hash

(cherry picked from commit 914b5d8)
@pquentin pquentin merged commit a4b0f53 into 8.18 Jun 24, 2025
7 checks passed
@pquentin pquentin deleted the backport/8.18/pr-4620 branch June 24, 2025 12:03
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.

2 participants