Skip to content

Conversation

@github-actions
Copy link
Contributor

As titled.

Copy link
Member

@pquentin pquentin left a comment

Choose a reason for hiding this comment

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

Nothing to see here, this is just an output update.

@pquentin pquentin merged commit 3541030 into 9.0 May 22, 2025
1 check passed
@pquentin pquentin deleted the automated/rest-api-spec-update-9.0 branch May 22, 2025 10:47
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