Skip to content

chore: sync API types from infrastructure#4077

Merged
kiwicopple merged 1 commit intodevelopfrom
sync/api-types
Aug 27, 2025
Merged

chore: sync API types from infrastructure#4077
kiwicopple merged 1 commit intodevelopfrom
sync/api-types

Conversation

@kiwicopple
Copy link
Copy Markdown
Member

This PR was automatically created to sync API types from the infrastructure repository.

Changes were detected in the generated API code after syncing with the latest spec from infrastructure.

@kiwicopple kiwicopple requested a review from a team as a code owner August 26, 2025 11:10
@kiwicopple kiwicopple enabled auto-merge (squash) August 26, 2025 11:10
@kiwicopple kiwicopple merged commit ba8aff0 into develop Aug 27, 2025
11 checks passed
@kiwicopple kiwicopple deleted the sync/api-types branch August 27, 2025 06:42
@github-actions github-actions bot mentioned this pull request Sep 2, 2025
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.

3 participants