Required conditions for merge:

• check-success=DCO
• check-success=build
• any of [🛡 GitHub branch protection]:
  • check-success = build
  • check-neutral = build
  • check-skipped = build
• any of [🛡 GitHub branch protection]:
  • check-success = test
  • check-neutral = test
  • check-skipped = test
• any of [🛡 GitHub branch protection]:
  • check-success = verify
  • check-neutral = verify
  • check-skipped = verify
• any of [🛡 GitHub branch protection]:
  • check-success = DCO
  • check-neutral = DCO
  • check-skipped = DCO

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

		DCO — DCO	details
		build	details
		codecov/patch — Coverage not affected when comparing 8d7360d...c5a0871	details
		codecov/project — 46.80% (+0.00%) compared to 8d7360d	details
		test	details
		verify	details