Pull request #2301 has been dequeued. The pull request has been merged manually. The pull request has been merged manually at 5020e58

Required conditions for merge:

• #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • #2301
• #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • #2301
• check-success = buildbot/nix-build
• all of [📃 From pull request rule queue]:
  • -closed [📌 queue requirement]
    • #2301
  • -conflict [📌 queue requirement]
    • #2301
  • -draft [📌 queue requirement]
    • #2301
  • any of [📌 queue -> configuration change requirements]:
    • -mergify-configuration-changed
      • #2301
    • check-success = Configuration changed
  • any of [🔀 queue conditions]:
    • all of [📌 queue conditions of queue default]:
      • #approved-reviews-by >= 1 [🛡 GitHub branch protection]
        • #2301
      • #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
        • #2301
      • any of:
        • #approved-reviews-by >= 1
          • #2301
        • all of:
          • -files ~= ^(?!flake[.]lock$|generated/)
          • author = github-actions
            • #2301

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

		buildbot/nix-build Build done.	details
		buildbot/nix-eval Build done.	details