Skip to content

updated language server#810

Merged
nialexsan merged 4 commits intoproductionfrom
staging
Sep 19, 2024
Merged

updated language server#810
nialexsan merged 4 commits intoproductionfrom
staging

Conversation

@nialexsan
Copy link
Contributor

Closes: #???

Description


For contributor use:

  • Targeted PR against correct branch (see CONTRIBUTING.md)
  • Linked to Github issue with discussion and accepted design OR link to spec that describes this work.
  • Code follows the standards mentioned here.
  • Updated relevant documentation
  • Re-reviewed Files changed in the Github PR explorer
  • Added appropriate labels

@vercel
Copy link

vercel bot commented Sep 19, 2024

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
flow-playground ✅ Ready (Inspect) Visit Preview 💬 Add feedback Sep 19, 2024 9:13pm

Copy link
Contributor

@bthaile bthaile left a comment

Choose a reason for hiding this comment

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

Lgtm

@nialexsan nialexsan merged commit cd8a5e3 into production Sep 19, 2024
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

Comments