Labels

• dependencies

  dependencies

  Pull requests that update a dependency file

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• needs-upstream-fix

  needs-upstream-fix

  Requires a fix in a dependency.

• ❔ question

  ❔ question

  Issue to get help from the developers.

• 🌟 enhancement

  🌟 enhancement

  Proposed improvement or feature request.

• 🐞 bug

  🐞 bug

  Issue describes a bug (crash or error) or undefined behavior.

• 📓 doc

  📓 doc

  Issue with the documentation and examples.