Skip to content

Conversation

@github-actions
Copy link
Contributor

Backport 069159f from #4850.

@pquentin pquentin merged commit 5c415de into 9.0 Jul 11, 2025
1 check passed
@pquentin pquentin deleted the backport-4850-to-9.0 branch July 11, 2025 09:00
pquentin pushed a commit that referenced this pull request Jul 11, 2025
(cherry picked from commit 069159f)

Co-authored-by: Quentin Pradet <[email protected]>
(cherry picked from commit 5c415de)

# Conflicts:
#	output/schema/schema.json
pquentin pushed a commit that referenced this pull request Jul 11, 2025
(cherry picked from commit 069159f)

Co-authored-by: Quentin Pradet <[email protected]>
(cherry picked from commit 5c415de)

# Conflicts:
#	output/schema/schema.json
@pquentin
Copy link
Member

💚 All backports created successfully

Status Branch Result
8.19
8.18

Questions ?

Please refer to the Backport tool documentation

pquentin added a commit that referenced this pull request Jul 11, 2025
(cherry picked from commit 069159f)

Co-authored-by: Quentin Pradet <[email protected]>
(cherry picked from commit 5c415de)

# Conflicts:
#	output/schema/schema.json

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
pquentin added a commit that referenced this pull request Jul 11, 2025
(cherry picked from commit 069159f)

Co-authored-by: Quentin Pradet <[email protected]>
(cherry picked from commit 5c415de)

# Conflicts:
#	output/schema/schema.json

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
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