2 Pull requests merged by 1 person

• ci: setup checks for update of branch main and for PRs

  #86 merged Mar 3, 2025

• chore: avoid react linting errors (attempt #2)

  #85 merged Mar 3, 2025

1 Issue closed by 1 person

• Suggestion: Add CI to the repo.

  #48 closed Mar 3, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Suggestion: On code cursor movement, expand + highlight matching AST part

  #64 commented on Mar 3, 2025 • 0 new comments