Skip to content

dev: update from main - #4842

Merged
ralfhandl merged 2 commits into
devfrom
main
Aug 12, 2025
Merged

dev: update from main#4842
ralfhandl merged 2 commits into
devfrom
main

Conversation

@oai-spec-publisher

Copy link
Copy Markdown
Contributor

Merge main into dev.

ralfhandland others added 2 commits August 12, 2025 10:06
main: sync PRs for vX.Y-dev now wait for required status checks to finish before merging
@ralfhandl
ralfhandl merged commit 2cd2979 into devAug 12, 2025
19 checks passed
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@ralfhandl@handrews