Labels

• area: cli
• area: contracts
• area: error messages
• area: lsp
• area: syntax
• area: typing
• area: website
• area:stdlib
• dependencies

  Pull requests that update a dependency file
• duplicate

  This issue or pull request already exists
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• invalid

  This doesn't seem right
• javascript

  Pull requests that update Javascript code
• merge-queue

  merge on green CI
• more data needed
• P0

  blocker: fix immediately!
• P1

  critical: next release
• P2

  major: an upcoming release
• P3

  minor: not priorized
• P4

  unimportant: consider wontfix or other priority
• question

  Further information is requested
• run-benchmark
• rust

  Pull requests that update Rust code
• type: bug
• type: documentation
• type: feature request
• wontfix

  This will not be worked on