Skip to content

chore: sync API types from infrastructure#5298

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

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

coveralls commented May 19, 2026

Coverage Report for CI Build 26115035420

Warning

No base build found for commit aa818c1 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 ed13af7 into develop May 19, 2026
17 checks passed
@github-actions github-actions Bot deleted the sync/api-types branch May 19, 2026 18:07
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