Now that the #212 PR is merged, can we have CI do the deployment for us? For example:
- Opened a docs PR
- When merged, the docs deploy
- Requester didn't have to run
npm run deploy / bun run deploy
@tupui you want to take this? it's either small, or very annoying, and if the latter we can leave it be
Now that the #212 PR is merged, can we have CI do the deployment for us? For example:
npm run deploy/bun run deploy@tupui you want to take this? it's either small, or very annoying, and if the latter we can leave it be