Labels

• breaking
• breaks printing
• bug

  Something isn't working
• bug: crash

  Bugs that could lead to crashes
• bug: unexpected error

  Bugs that resulted in unexpected errors
• bug: wrong result

  Bugs that returned incorrect results
• decision
• dependencies

  Pull requests that update a dependency file
• DO NOT MERGE
• doc

  This change adds or pertains to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• 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
• julia_community
• merge me
• optimization

  Performance improvements or improved testing Previously, performance: must go faster
• question

  Further information is requested
• release notes: added

  PRs introducing changes that have since been mentioned in the release notes
• release notes: highlight

  PRs introducing changes that should be highlighted at the top of the release notes
• release notes: multiple

  PRs introducing changes that require multiple entries in the release notes (TO BE AVOIDED!!!)
• release notes: not needed

  PRs introducing changes that are wholly irrelevant to the release notes
• release notes: to be added

  PRs introducing changes that should be (but have not yet been) mentioned in the release notes
• release notes: use title

  For PRs: the title of this PR is suitable for direct use in the release notes
• RNG
• self-contained task

  Something suitable for e.g. our student assistants and HiWis
• test

  This change adds or pertains to unit tests
• triage