Required conditions for merge:

• #approved-reviews-by>=1 [🛡 GitHub branch protection]
  • #3811
• #changes-requested-reviews-by=0 [🛡 GitHub branch protection]
  • #3811
• #review-threads-unresolved=0 [🛡 GitHub branch protection]
  • #3811
• all of [📃 From pull request rule Automatic merge using squash]:
  • #approved-reviews-by>=1
    • #3811
  • -draft [📌 queue requirement]
    • #3811
  • any of [📌 queue -> configuration change requirements]:
    • -mergify-configuration-changed
      • #3811
    • check-success=Configuration changed
  • any of [🔀 queue conditions]:
    • all of [📌 queue conditions of queue default]:
      • #approved-reviews-by>=1 [🛡 GitHub branch protection]
        • #3811
      • #changes-requested-reviews-by=0 [🛡 GitHub branch protection]
        • #3811
      • #review-threads-unresolved=0 [🛡 GitHub branch protection]
        • #3811
      • any of [🛡 GitHub branch protection]:
        • check-success=DeepScan
        • check-neutral=DeepScan
        • check-skipped=DeepScan
      • any of [🛡 GitHub branch protection]:
        • check-success=build (20.11.1, 6)
        • check-neutral=build (20.11.1, 6)
        • check-skipped=build (20.11.1, 6)
• any of [🛡 GitHub branch protection]:
  • check-success=DeepScan
  • check-neutral=DeepScan
  • check-skipped=DeepScan
• any of [🛡 GitHub branch protection]:
  • check-success=build (20.11.1, 6)
  • check-neutral=build (20.11.1, 6)
  • check-skipped=build (20.11.1, 6)

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

		DeepScan 0 new and 0 fixed issues	details
		build (20.11.1, 6)	details