Skip to content

No labels!

There aren’t any labels for this repository quite yet.

28 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
area: cli
area: cli
2
area: contracts
area: contracts
4
area: error messages
area: error messages
5
area: lsp
area: lsp
7
area:stdlib
area:stdlib
3
area: syntax
area: syntax
10
area: typing
area: typing
3
area: website
area: website
2
dependencies
dependencies
Pull requests that update a dependency file
duplicate
duplicate
This issue or pull request already exists
github_actions
github_actions
Pull requests that update GitHub Actions code
good first issue
good first issue
Good for newcomers
3
invalid
invalid
This doesn't seem right
javascript
javascript
Pull requests that update Javascript code
merge-queue
merge-queue
merge on green CI
more data needed
more data needed
1
P0
P0
blocker: fix immediately!
P1
P1
critical: next release
1
P2
P2
major: an upcoming release
7
P3
P3
minor: not priorized
3
P4
P4
unimportant: consider wontfix or other priority
question
question
Further information is requested
4
run-benchmark
run-benchmark
rust
rust
Pull requests that update Rust code
type: bug
type: bug
17
type: documentation
type: documentation
5
type: feature request
type: feature request
65
wontfix
wontfix
This will not be worked on