Labels

• bug

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• discussion

  The right solution is not yet clear
• documentation

  Improvements or additions to documentation
• feature

  New feature or request
• github_actions

  Pull requests that update GitHub Actions code
• julia

  Pull requests that update julia code
• low priority

  This will not be worked on
• performance

  Improve performance or stability