Pull request #671 has been dequeued. Branch protection settings are not validated anymore. Branch protection is enabled and is preventing Mergify to merge the pull request. Mergify will merge when branch protection settings validate the pull request once again. (detail: You're not authorized to push to this branch. Visit https://docs.github.com/repositories/configuring-branches-and-merges-in-your-repository/managing-protected-branches/about-protected-branches for more information.)

Required conditions for merge:

• -draft
  • #671
• base=main
• any of [🛡 GitHub branch protection]:
  • check-success = build
  • check-neutral = build
  • check-skipped = build

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

		CodeQL — No new alerts in code changed by this pull request	details
		CodeQL-Build	details
		build	details
		coverage/coveralls Coverage remained the same at 70.306%	details
		docker	details