Skip to content

No labels!

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

area: contracts
area: contracts
area: error messages
area: error messages
area:stdlib
area:stdlib
area: syntax
area: syntax
area: typing
area: typing
area: website
area: website
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
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
P0
P0
blocker: fix immediately!
P1
P1
critical: next release
P2
P2
major: an upcoming release
P3
P3
minor: not priorized
P4
P4
unimportant: consider wontfix or other priority
question
question
Further information is requested
run-benchmark
run-benchmark
rust
rust
Pull requests that update Rust code
type: documentation
type: documentation
type: feature request
type: feature request
wontfix
wontfix
This will not be worked on