Skip to content

No labels!

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

attention
attention
This discussion needs attention.

automation-exempt
automation-exempt
This issue will not be closed by autoclose action
blocked
blocked
This issue will be fixed by an approved PR that hasn't been released yet.
breaking-change
breaking-change
This issue requires a breaking change to remediate.
bug
bug
This issue is a bug.
cbmc
cbmc
Anything related to CBMC proofs.
closed-for-staleness
closed-for-staleness
closing-soon
closing-soon
This issue will automatically close in 5 days unless further comments are made.
contribution/core
contribution/core
This is a PR that came from AWS.
dependencies
dependencies
This issue is a problem in a dependency.
documentation
documentation
This is a problem with documentation.
duplicate
duplicate
This issue is a duplicate.
feature-request
feature-request
A feature should be added or improved.
good-1st-issue
good-1st-issue
guidance
guidance
Question that needs advice or information.
help-wanted
help-wanted
We are asking the community to submit a PR to resolve this issue.
investigating
investigating
This issue is being investigated and/or work is in progress to resolve the issue.
needs-discussion
needs-discussion
This issue/PR requires more discussion with community.
needs-reproduction
needs-reproduction
This issue needs reproduction.
needs-review
needs-review
This issue or pull request needs review from a core team member.
needs-triage
needs-triage
This issue or PR still needs to be triaged.
p0
p0
This issue is the highest priority
p1
p1
This is a high priority issue
p2
p2
This is a standard priority issue
p3
p3
This is a minor priority issue
pending-release
pending-release
This issue will be fixed by an approved PR that hasn't been released yet.
potential-regression
potential-regression
Marking this issue as a potential regression to be checked by team member
pr/blocked
pr/blocked
This PR cannot be merged or reviewed, because it is blocked for some reason.
pr/breaking-change
pr/breaking-change
This PR is a breaking change. It needs to be modified to be allowed in the current major version.