Skip to content

Conversation

@github-actions
Copy link
Contributor

As titled.

@github-actions github-actions bot requested a review from a team as a code owner July 18, 2025 17:43
@github-actions github-actions bot added skip-backport This pull request should not be backported specification labels Jul 18, 2025
@pquentin pquentin merged commit 9eddbdf into main Jul 18, 2025
1 check passed
@pquentin pquentin deleted the automated/rest-api-spec-update-main branch July 18, 2025 17:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-backport This pull request should not be backported specification

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants