Labels

• bug

  Something isn't working
• build-system

  build-system related fixes
• ci-cd

  CI/CD evolutions and fixes
• code-architecture

  Modification of the code architecture
• cve

  Vulnerability found
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• framac:contract

  formal correctness (contracts)
• framac:norte

  noRTE proofs
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• new-arch

  Port to a new architecture
• new-soc

  Port to a new SoC
• python

  Pull requests that update python code
• question

  Further information is requested
• security

  Security relative update, not being an CVE (e.g. hardening part, security checks, etc.)
• test

  Test-related fix
• uapi

  Evolution of the uapi Rust library
• wontfix

  This will not be worked on