Skip to content

merge queue: embarking main (9e12573) and #1892 together - #1899

Closed
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/bd54f69d50
Closed

merge queue: embarking main (9e12573) and #1892 together#1899
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/bd54f69d50

Conversation

@mergify

@mergify mergify Bot commented Apr 27, 2026

Copy link
Copy Markdown

✨ The merge conditions cannot be satisfied due to checks timeout. ✨

Branch main (9e12573) and #1892 are embarked together for merge.

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

Required conditions of queue rule bot-updates for merge:

  • all of:
    • check-success=set-variables
    • any of:
      • check-skipped=bootstrap-verification
      • check-success=bootstrap-verification
    • check-success=buildbot/nix-build
    • check-success=buildbot/nix-eval
    • check-success=check-fast-forward

Required conditions to stay in the queue:

---
checking_base_sha: 9e1257340643c01102347e41ab8196ab81359f08
previous_failed_batches:
  - checked_pull_requests:
      - 1892
      - 1891
    draft_pr_number: 1898
pull_requests:
  - number: 1892
    scopes: []
scopes: []
...

github-actions Bot and others added 2 commits April 27, 2026 06:43
• Updated input 'nixidy':
    'github:arnarg/nixidy/d7e5a3c338c8cdb4f85248ba7637dc38c9d1615a?narHash=sha256-Vwj9Dq3LjbBlt3aIcCoAUI/kiCZcgVzFfY%2BYb4k0jSI%3D' (2026-03-24)
  → 'github:arnarg/nixidy/61f6d4083d7afff98e83067041a4f3a2ec85ce16?narHash=sha256-9nHlH/W6VeXsUuPgrXdf0wrV%2B7Q9n3iAWMwRwwPW9WI%3D' (2026-04-17)

Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@mergify mergify Bot mentioned this pull request Apr 27, 2026
@mergify mergify Bot closed this Apr 27, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/bd54f69d50 branch April 27, 2026 20:02
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.

0 participants