Skip to content

chore: sync API types from infrastructure#5306

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

chore: sync API types from infrastructure#5306
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 20, 2026 03:46
@github-actions github-actions Bot enabled auto-merge (squash) May 20, 2026 03:46
@coveralls
Copy link
Copy Markdown

Coverage Report for CI Build 26139998215

Warning

No base build found for commit ed13af7 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 022c72b into develop May 20, 2026
17 checks passed
@github-actions github-actions Bot deleted the sync/api-types branch May 20, 2026 08:35
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