Skip to content

Comments

ci: generate from api 0.19.707#192

Merged
nuonbot merged 1 commit intomainfrom
nuonbot/generate-from-api-0.19.707
Nov 25, 2025
Merged

ci: generate from api 0.19.707#192
nuonbot merged 1 commit intomainfrom
nuonbot/generate-from-api-0.19.707

Conversation

@nuonbot
Copy link
Contributor

@nuonbot nuonbot commented Nov 25, 2025

ci: generate from api 0.19.707

@nuonbot nuonbot added the auto-merge Automatically merge this PR if it passes all PR checks. label Nov 25, 2025
@nuonbot nuonbot enabled auto-merge (squash) November 25, 2025 19:09
@nuonbot nuonbot merged commit 1def4b2 into main Nov 25, 2025
5 checks passed
@nuonbot nuonbot deleted the nuonbot/generate-from-api-0.19.707 branch November 25, 2025 19:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

auto-merge Automatically merge this PR if it passes all PR checks.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant