Skip to content

No labels!

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

18 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
autorelease: pending
autorelease: pending
1
autorelease: tagged
autorelease: tagged
breaking-change
breaking-change
Changes that break semver
7
bug
bug
Something isn't working
7
ci
ci
CI / devops
3
dependencies
dependencies
Pull requests that update a dependency file
1
documentation
documentation
Improvements or additions to documentation
8
enhancement
enhancement
New feature or request
24
github_actions
github_actions
Pull requests that update GitHub Actions code
good first issue
good first issue
Good for newcomers
6
perf
perf
Performance issue
4
python
python
Pull requests that update Python code
9
release
release
Release PR
2
run-ci-checks
run-ci-checks
Special label to force running all checks in CI
rust
rust
Pull requests that update Rust code
7
spec
spec
Issues to do with the specification document(s)
8
tracking-issue
tracking-issue
An issue tracking progress on multiple sub-tasks.
6
unsoundness-checks
unsoundness-checks
Automated issues created for failing unsoundness checks