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 #267:

		DCO — DCO	details
		build	details
		codecov/patch — Coverage not affected when comparing df6ebea...fc66cb5	details
		codecov/project — 46.97% (+0.00%) compared to df6ebea	details
		test	details
		verify	details