Labels

• 🚧 wip
• ✋ blocked
• 📦 master

  Apply this label to a pull request, if it has to be cherry-picked to the maste-branch.
• 📦 v12

  Apply this label to a pull request, if it has to be cherry-picked to the v12.x-branch after merging.
• 📦 v13

  Apply this label to a pull request, if it has to be cherry-picked to the v13.x-branch after merging.
• 📦 v14

  Apply this label to a pull request, if it has to be cherry-picked to the v14.x-branch after merging.
• 📦 v15

  Apply this label to a pull request, if it has to be cherry-picked to the v15.x-branch after merging.
• dependencies

  Pull requests that update a dependency file
• Merging… 🤖

  Bors is trying to merge this PR.
• on hold
• λ lambda
• ⏱ performance
• ⚙️ CI
• ✅ test
• ✋ duplicate
• ✋ invalid
• ✋ wontfix
• ❔question
• 🆘 help wanted
• 🎛 config
• 🏃‍♂️ runtime
• 🐛 bug
• 💬 discussion
• 📖 documentation
• 🔝 enhancement
• 🔨 build
• 🤖 server