Labels

• affects JIT

  A change that will require matching JIT interpreter changes
• backport
• bug

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• github_actions

  Pull requests that update GitHub Actions code
• JIT

  Relating to the JIT feature
• question

  Question from a user
• untidiness

  Not exactly a bug, but could do better