Labels

bug
bug
Something isn't working
capability-gap
capability-gap
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
question
question
Further information is requested
runbook-milestone
runbook-milestone
Issue tracks one milestone of a SLO v4 runbook
runbook:anssi-rust-compliance
runbook:anssi-rust-compliance
Milestone of the ANSSI Rust compliance mapping runbook
runbook:forbid-unsafe-and-geiger
runbook:forbid-unsafe-and-geiger
Milestone of the forbid(unsafe_code)+cargo-geiger runbook
runbook:formal-verification-kani-tla
runbook:formal-verification-kani-tla
Milestone of the Kani+TLA+ formal verification runbook
runbook:pq-readiness-secure-data
runbook:pq-readiness-secure-data
Milestone of the PQ readiness in secure_data runbook
wontfix
wontfix
This will not be worked on

15 labels