Labels

• area/core

  Issues related to the type checker core
• area/frontend

  Issues related to the tool frontend
• area/lsp

  Issues related to language server
• bug
• dependencies

  Pull requests that update a dependency file
• duplicate
• enhancement
• github_actions

  Pull requests that update GitHub Actions code
• Released

  The PR is already included in a published release
• ruby

  Pull requests that update Ruby code
• wontfix