Skip to content

merge queue: checking #537 on main (41d9628) - #538

Closed
mergify[bot] wants to merge 3 commits into
mainfrom
mergify/merge-queue/d2fbdecea8
Closed

mergify[bot] wants to merge 3 commits into
mainfrom
mergify/merge-queue/d2fbdecea8

Conversation

@mergify

@mergify mergify Bot commented Sep 5, 2026

Copy link
Copy Markdown
Contributor

⏳ The pull request #537 is queued for merge and currently being checked. ⏳

#537 is queued for merge on branch main (41d9628).

This pull request has been created by Mergify to check the mergeability of #537.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue rule default for merge:

  • any of [🛡 GitHub repository ruleset rule main]:
    • check-neutral = buildbot/nix-build
    • check-skipped = buildbot/nix-build
    • check-success = buildbot/nix-build
  • any of [🛡 GitHub repository ruleset rule main]:
    • check-success = buildbot/nix-eval
    • check-neutral = buildbot/nix-eval
    • check-skipped = buildbot/nix-eval

Required conditions to stay in the queue:

---
checking_base_sha: 41d9628959faa2d12f65057aeb6f566c4ccfbd3d
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 537
    scopes: []
scopes: []
...

@mergify mergify Bot closed this Sep 5, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/d2fbdecea8 branch September 5, 2026 22:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant