Required conditions for merge:

• #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • #5234
• #approved-reviews-by>=1
  • #5234
• #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • #5234
• #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • #5234
• any of [🛡 GitHub branch protection]:
  • check-success = DeepScan
  • check-neutral = DeepScan
  • check-skipped = DeepScan
• any of [🛡 GitHub branch protection]:
  • check-success = tests-all
  • check-neutral = tests-all
  • check-skipped = tests-all

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

		DeepScan 0 new and 0 fixed issues	details
		tests-all	details