Pull request #402 has been dequeued. GitHub can't merge the pull request for now.. GitHub can't merge the pull request for an unknown reason. You should retry later.

Required conditions for merge:

• check-success=build-flake
• check-success=tests
• all of [📃 From pull request rule queue]:
  • -draft [📌 queue requirement]
    • #402
  • any of [📌 queue -> configuration change requirements]:
    • -mergify-configuration-changed
      • #402
    • check-success=Configuration changed
  • any of [🔀 queue conditions]:
    • all of [📌 queue conditions of queue default]

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

		build-flake	details
		tests	details