Required conditions for merge:

• check-success~=/ Ready To Merge$
• all of [📃 From pull request rule Merge PRs that are ready]:
  • #approved-reviews-by>=1
    • #519
  • #changes-requested-reviews-by=0
    • #519
  • #review-requested=0
    • #519
  • -closed [📌 queue requirement]
    • #519
  • -conflict [📌 queue requirement]
    • #519
  • -draft [📌 queue requirement]
    • #519
  • check-success~=/ Ready To Merge$
  • label!=status:block-merge
    • #519
  • label=status:merge-when-green
    • #519
  • any of [📌 queue -> configuration change requirements]:
    • -mergify-configuration-changed
      • #519
    • check-success = Configuration changed
  • any of [🔀 queue conditions]:
    • all of [📌 queue conditions of queue default]:
      • any of [🛡 GitHub branch protection]:
        • check-success = Finish / Ready To Merge
        • check-neutral = Finish / Ready To Merge
        • check-skipped = Finish / Ready To Merge
• any of [🛡 GitHub branch protection]:
  • check-success = Finish / Ready To Merge
  • check-neutral = Finish / Ready To Merge
  • check-skipped = Finish / Ready To Merge

Check-runs and statuses of the embarked pull request #519:

		Binary Compatibility / JDK 11	details
		Code Style / Prepare Matrix	details
		Code Style / { "java": "11" }	details
		Docs / Prepare Matrix	details
		Docs / { "java": "11" }	details
		Finish / Ready To Merge	details
		Tests / Prepare Matrix	details
		Tests / { "java": "11", "scala": "2.13.x" }	details
		Tests / { "java": "11", "scala": "3.x" }	details
		Tests / { "java": "17", "scala": "2.13.x" }	details
		Tests / { "java": "17", "scala": "3.x" }	details