Area: CI build infrastructure.
Area: Code signing, GPG signatures.
Area: Source and library dependencies.
Area: Performance improvements and optimizations.
Area: Infrastructure for running an open source project.
Area: Docker Hub, GitHub Container registry, etc. releases and version bumps.
Area: Security vulnerabilities and unsoundness issues.
Category: Improvements or additions to documentation.
Category: New feature or request.
Category: Refactoring, cleanup, and quality improvements.
Category: Further information is requested.
Call for participation: Experience needed to fix: Easy / not much.
Call for participation: Experience needed to fix: Hard / a lot.
Call for participation: Help is requested to fix this issue.
Call for participation: Experience needed to fix: Medium / intermediate.
Call for participation: Writing correctness tests.
Status: This pull request exists to archive an unmerged branch.
Status: Marked as blocked ❌ on something else such as other implementation work.
Status: This pull request should not be merged.
Status: This issue or pull request already exists.
Status: This issue or pull request is not well-formed.
Status: This issue or pull request is being postponed until later.
Status: This is just an idea.
Status: This PR is stale. Please open a new PR if you'd like to pick this back up.