Skip to content

Comments

ci: add automation to update deps#107

Closed
miparnisari wants to merge 1 commit intomainfrom
add-automation
Closed

ci: add automation to update deps#107
miparnisari wants to merge 1 commit intomainfrom
add-automation

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.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

ughh closing then

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

@github-actions github-actions bot locked and limited conversation to collaborators Feb 19, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants