New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

use the right path to build the playground-server #49

Merged

silky merged 1 commit into main from fix-playground-exe

Oct 25, 2021

Contributor

silky commented Oct 25, 2021

Fixes #48

Pre-submit checklist:

Branch
- Tests are provided (if possible)
- Commit sequence broadly makes sense
- Key commits have useful messages
- Relevant tickets are mentioned in commit messages
- Formatting, materialized Nix files, PNG optimization, etc. are updated
PR
- Self-reviewed the diff
- Useful pull request description
- Reviewer requested


          use the right path to build the playground-server

af42965

silky requested a review from shlevy

October 25, 2021 12:16

shlevy approved these changes

View reviewed changes

silky merged commit f9b7773 into main

silky deleted the fix-playground-exe branch

October 25, 2021 13:17

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet