Skip to content
New issue

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

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

Already on GitHub? # to your account

Playground frontend in React #352

Merged
merged 28 commits into from
Mar 17, 2023
Merged

Playground frontend in React #352

merged 28 commits into from
Mar 17, 2023

Conversation

torhovland
Copy link
Member

@torhovland torhovland commented Mar 16, 2023

Implements a basic version of #171.

A version without sample input and query is already deployed to https://topiary.tweag.io/playground.

  • Move wasm-app to subdir.
  • Working playground in React.
  • favicon, etc.
  • Layout.
  • Button style.
  • Switch to TypeScript.
  • Move Tree-sitter files.
  • Load Tree-sitter.
  • Rename script.
  • Remove prototype web playground.
  • Build React app in CI.
  • Sample input and query.

@torhovland torhovland self-assigned this Mar 16, 2023
@torhovland torhovland temporarily deployed to github-pages March 16, 2023 17:33 — with GitHub Actions Inactive
@torhovland torhovland marked this pull request as ready for review March 17, 2023 07:09
@torhovland torhovland enabled auto-merge (squash) March 17, 2023 10:28
@torhovland torhovland merged commit fa9f1ed into main Mar 17, 2023
@torhovland torhovland deleted the playground-react branch March 17, 2023 12:14
@Xophmeister
Copy link
Member

Xophmeister commented Mar 17, 2023

Ah nuts: I resolved the conversations and it auto-merged... Let me restore the branch, FWIW, as it looks like you're still pushing changes.

@Xophmeister Xophmeister restored the playground-react branch March 17, 2023 12:16
@torhovland torhovland mentioned this pull request Mar 17, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants