Skip to content

merge queue: embarking master (23cdf2b) and #11358 together#11365

Closed
mergify[bot] wants to merge 3 commits into
masterfrom
mergify/merge-queue/1751e2b500
Closed

merge queue: embarking master (23cdf2b) and #11358 together#11365
mergify[bot] wants to merge 3 commits into
masterfrom
mergify/merge-queue/1751e2b500

Conversation

@mergify

@mergify mergify Bot commented Dec 18, 2025 •
edited
Loading

Copy link
Copy Markdown
Contributor

🎉 This pull request has been checked successfully and will be merged soon. 🎉

Branch master (23cdf2b) and #11358 are embarked together for merge.

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

Required conditions of queue default for merge:

  • #approved-reviews-by >= 2 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • any of [🛡 GitHub branch protection]:
    • check-success = Doctest Cabal
    • check-neutral = Doctest Cabal
    • check-skipped = Doctest Cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Meta checks
    • check-neutral = Meta checks
    • check-skipped = Meta checks
  • any of [🛡 GitHub branch protection]:
    • check-success = docs/readthedocs.org:cabal
    • check-neutral = docs/readthedocs.org:cabal
    • check-skipped = docs/readthedocs.org:cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Validate post job
    • check-neutral = Validate post job
    • check-skipped = Validate post job
  • any of [🛡 GitHub branch protection]:
    • check-success = fourmolu
    • check-neutral = fourmolu
    • check-skipped = fourmolu
  • any of [🛡 GitHub branch protection]:
    • check-success = hlint
    • check-neutral = hlint
    • check-skipped = hlint
  • any of [🛡 GitHub branch protection]:
    • check-success = Bootstrap post job
    • check-neutral = Bootstrap post job
    • check-skipped = Bootstrap post job
  • any of [🛡 GitHub branch protection]:
    • check-success = whitespace
    • check-neutral = whitespace
    • check-skipped = whitespace
  • any of [🛡 GitHub branch protection]:
    • check-success = Check sdist post job
    • check-neutral = Check sdist post job
    • check-skipped = Check sdist post job
  • any of [🛡 GitHub branch protection]:
    • check-success = Changelogs
    • check-neutral = Changelogs
    • check-skipped = Changelogs

Required conditions to stay in the queue:

---
checking_base_sha: 23cdf2b50ae154cef27576b203aaa0c23936a22d
previous_failed_batches: []
pull_requests:
  - number: 11358
...

Copilot AI and others added 3 commits December 16, 2025 15:07
Initial plan
41d1a2f
@ulysses4ever
Configure Dependabot to batch GitHub Actions updates
b3b2ed4 
Co-authored-by: ulysses4ever <6832600+ulysses4ever@users.noreply.github.com>
@mergify
Merge of #11358
2bd4c16
@mergify mergify Bot mentioned this pull request Dec 18, 2025
Merged
2 tasks
@mergify mergify Bot closed this Dec 18, 2025
@mergify mergify Bot deleted the mergify/merge-queue/1751e2b500 branch December 18, 2025 22:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant