Labels

• 🐛 bug

  Something isn't working
• 🦋 morpho

  Used in a Morpho project
• 🚫 wontfix

  This will not be worked on
• ❓ question

  Further information is requested
• 📜 documentation

  Improvements or additions to documentation
• ✨ feature
• 🗽 foss

  Designed for general use
• dependencies

  Pull requests that update a dependency file
• ♻️ low priority
• ⚙️ ci
• 🎨 enhancement

  New feature or request
• 🔥 high priority
• 🔨 refactor
• 🧪 testing
• 🧮 certora
• 🩹 fix