Labels

• bug 🐛

  This is a bug that requires a fix
• CI failing 🔥

  Something is broken
• documentation 📚

  Improvements or additions to documentation
• duplicate 👯

  This issue or pull request already exists
• enhancement ✨

  New feature or request
• java

  Pull requests that update Java code
• jdk17

  temp test with JDK17
• known issue 🔖

  Known issue that cannot be fixed in timely manner
• new 🆕

  New issue detected in CI
• to verify ☑️

  issue should be fixed, but has to be verified by CI
• wontfix 🙈

  This will not be worked on
• workaround in place ⛑

  A temporary workaround is in place