Labels

• priority: critical

  severe impact, address as soon as possible
• priority: high

  has high impact or is a prerequisite for other issues
• priority: low

  does not require attention yet
• priority: medium

  default priority
• type: benchmarks and validation

  unit tests, benchmarks, etc.
• type: bug

  code does not function as intended
• type: documentation addition

  new documentation required
• type: documentation error

  current documentation contains incorrect information
• type: feature addition

  involves implementing a completely new feature
• type: feature improvement

  improving existing functionality, e.g., optimization or extension
• type: more information needed

  issue requires further discussion
• type: usage question

  a question from a user of the software about applying the tool