Skip to content

Auto-merge the automated update pull request once every check passes - #8

Merged
mergify[bot] merged 1 commit into
mainfrom
mergify-auto-merge
Nov 1, 2026
Merged

mergify[bot] merged 1 commit into
mainfrom
mergify-auto-merge

Conversation

@linyinfeng

@linyinfeng linyinfeng commented Oct 31, 2026 •

Copy link
Copy Markdown
Owner

Merge the automated update pull request once CI passes.

  • .github/workflows/check.yml: new ci-gate job that runs after nix-flake-check, nix-matrix and nix-build and succeeds only when all of them succeeded.
  • .github/workflows/update.yml: label the update pull request auto-update.
  • .mergify.yml: on label auto-update, base = main, #commits-behind = 0, check-success = ci-gate, #check-failure = 0 → fast-forward merge.

@mergify

mergify Bot commented Oct 31, 2026 •

Copy link
Copy Markdown
Contributor

Queued — the merge queue status continues in this comment ↓.

Co-authored-by: Lin Yinfeng <lin.yinfeng@outlook.com>
@mergify

mergify Bot commented Nov 1, 2026 •

Copy link
Copy Markdown
Contributor

✅ Merged into main as 4bf77be at 10:20 UTC

Less than a minute in the queue, with no time running CI.

So far

  • ✅ Entered the queue Sun 1 Nov, 10:19 · rule default · triggered by @linyinfeng with the merge queue checkbox
  • ✅ Checks skipped · PR is already up-to-date
  • ✅ Merged 10:20 · 4bf77be

Times in UTC · dashboard · how the merge queue works

@mergify mergify Bot added the queued label Nov 1, 2026
@mergify
mergify Bot merged commit 4bf77be into main Nov 1, 2026
24 checks passed
@mergify mergify Bot removed the queued label Nov 1, 2026
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.

2 participants