Skip to content

chore: sync API types from infrastructure#5251

Merged
github-actions[bot] merged 1 commit into
developfrom
sync/api-types
May 14, 2026
Merged

chore: sync API types from infrastructure#5251
github-actions[bot] merged 1 commit into
developfrom
sync/api-types

Conversation

@supabase-cli-releaser
Copy link
Copy Markdown
Contributor

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.

@supabase-cli-releaser supabase-cli-releaser Bot requested a review from a team as a code owner May 14, 2026 15:09
@github-actions github-actions Bot enabled auto-merge (squash) May 14, 2026 15:09
@coveralls
Copy link
Copy Markdown

Coverage Report for CI Build 25867896877

Warning

No base build found for commit cfcd337 on develop.
Coverage changes can't be calculated without a base build.
If a base build is processing, this comment will update automatically when it completes.

Coverage: 63.744%

Details

  • Patch coverage: No coverable lines changed in this PR.

Uncovered Changes

No uncovered changes found.

Coverage Regressions

Requires a base build to compare against. How to fix this →


Coverage Stats

Coverage Status
Relevant Lines: 15680
Covered Lines: 9995
Line Coverage: 63.74%
Coverage Strength: 7.06 hits per line

💛 - Coveralls

@github-actions github-actions Bot merged commit 62b57b5 into develop May 14, 2026
17 checks passed
@github-actions github-actions Bot deleted the sync/api-types branch May 14, 2026 15:21
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.

2 participants