Skip to content

No labels!

There aren’t any labels for this repository quite yet.

🔨 build
🔨 build
⚙️ CI
⚙️ CI
🎛 config
🎛 config
🚧 wip
:construction: wip
dependencies
dependencies
Pull requests that update a dependency file
💬 discussion
💬 discussion
📖 documentation
📖 documentation
✋ duplicate
✋ duplicate
🔝 enhancement
🔝 enhancement
✋ blocked
:hand: blocked
🆘 help wanted
🆘 help wanted
✋ invalid
✋ invalid
λ lambda
λ lambda
Merging… 🤖
Merging… :robot:
Bors is trying to merge this PR.
📦 master
:package: master
Apply this label to a pull request, if it has to be cherry-picked to the maste-branch.
📦 v12
:package: v12
Apply this label to a pull request, if it has to be cherry-picked to the v12.x-branch after merging.
📦 v13
:package: v13
Apply this label to a pull request, if it has to be cherry-picked to the v13.x-branch after merging.
📦 v14
:package: v14
Apply this label to a pull request, if it has to be cherry-picked to the v14.x-branch after merging.
📦 v15
:package: v15
Apply this label to a pull request, if it has to be cherry-picked to the v15.x-branch after merging.
⏱ performance
⏱ performance
❔question
❔question
🏃‍♂️ runtime
🏃‍♂️ runtime
🤖 server
🤖 server
✅ test
✅ test
✋ wontfix
✋ wontfix