Skip to content

Conversation

@miparnisari
Copy link
Contributor

No description provided.

@vercel
Copy link

vercel bot commented Feb 11, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
playground Ready Ready Preview, Comment Feb 11, 2026 4:13pm

Request Review

Copy link
Contributor

@tstirrat15 tstirrat15 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

See comments

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This doesn't work yet - yarn update:deps looks at the contents of https://github.com/authzed/playground/blob/main/src/wasm-config.json, so this action will noop unless you've updated that file.

Comment on lines +56 to +60
- name: "Enable Pull Request Automerge"
if: steps.check-changes.outputs.play_changed == 'true'
run: "gh pr merge ${{ steps.cpr.outputs.pull-request-number }} --merge --auto"
env:
GH_TOKEN: ${{ secrets.AUTHZEDAPPROVER_REPO_SCOPED_TOKEN }}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm also not sure on this point - if SpiceDB updates something that breaks wasm in a way that isn't visible until it's pulled into the playground, we might end up with a broken playground because merges to main go straight to prod

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