Skip to content

No labels!

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

19 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
8
ci
ci
CI / devops
3
dependencies
dependencies
Pull requests that update a dependency file
documentation
documentation
Improvements or additions to documentation
10
enhancement
enhancement
New feature or request
23
github_actions
github_actions
Pull requests that update GitHub Actions code
good first issue
good first issue
Good for newcomers
8
llvm
llvm
Pertains to LLVM emission
15
perf
perf
Performance issue
4
python
python
Pull requests that update Python code
10
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
6
spec
spec
Issues to do with the specification document(s)
8
tracking-issue
tracking-issue
An issue tracking progress on multiple sub-tasks.
7
unsoundness-checks
unsoundness-checks
Automated issues created for failing unsoundness checks