Labels

• add

  Add new features.
• bug

  Fix bug.
• change

  Change existing functionality.
• dependencies

  Pull requests that update a dependency file
• deprecate

  Mark as soon-to-be removed features.
• github_actions

  Pull requests that update GitHub Actions code
• remove

  Remove features.
• rust

  Pull requests that update Rust code
• security

  In case of vulnerabilities.