Skip to content

Labels

Labels

  • Automatically created issue or a Pull request
  • Something isn't working
  • The issue or pull request related to continuous integration
  • The issue or pull request is related to a CVE
  • Pull requests that update a dependency file
  • Improvements or additions to documentation
  • This issue or pull request already exists
  • New feature or request
  • Good for newcomers
  • Extra attention is needed
  • Possible future feature in development
  • This doesn't seem right
  • Pull requests that update Java code
  • JavaMemoryModel-specific issue or pull request
  • This PR should automatically get merged once it is possible
  • Further information is requested
  • PR which triggers deployment of a release candidate
  • The issue or pull request related to the repository itself
  • The issue or pull request related to security
  • This issue or PR is be considered inactive
  • Pull requests aimed on actualizing the target branch with source branch
  • This will not be worked on