Labels

• bug 🐛

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• dependencies 🏗️

  Related to issues/features/updates/additions/etc. of dependencies
• documentation 📚

  Improvements or additions to documentation
• duplicate 💕

  This issue or pull request already exists
• enhancement 🔥

  New feature or request
• github

  GitHub related issues
• github_actions

  Pull requests that update GitHub Actions code
• good first issue 🐤

  Good for newcomers
• help wanted 🆘

  Extra attention is needed
• info ℹ️

  Contains useful information on concepts and Julia, but is not directly implementable
• julia

  Pull requests that update julia code
• julia 🔴🟢🟣

  Related to issues/features coming from Julia
• meeting 🗣️

  Mantis day discussions
• outdated 📼

  The discussion is old and is no longer actionable
• performance 💨

  Is related to performance issues/improvements
• question ❓

  Further information is requested
• refactor 🦋

  Updates or rewrites of existing code to use new interfaces/setups. Neither broken nor truly new.
• test 🧪

  Tests for features
• wontfix ❌

  This will not be worked on