Skip to content

merge queue: checking master (36357f2) and #12191 together - #12253

Closed
mergify[bot] wants to merge 2 commits into
masterfrom
mergify/merge-queue/17a85c5270
Closed

merge queue: checking master (36357f2) and #12191 together#12253
mergify[bot] wants to merge 2 commits into
masterfrom
mergify/merge-queue/17a85c5270

Conversation

@mergify

@mergify mergify Bot commented Aug 22, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

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

Branch master (36357f2) and #12191 are queued together for merge.

This pull request has been created by Mergify to check the mergeability of #12191.
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:

  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • github-review-approved [🛡 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: 36357f2e6dd2dcf3dad6090a467ac8b22fc7ccd6
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 12191
    scopes: []
scopes: []
...

philderbeast and others added 2 commits August 19, 2026 15:57
@philderbeast
Filter flag constraints, keep version constraints
4c63e7a 
- Add test for mistaking flag for version
- Add tests for -any and -none
- Add doctests to isNoVersion && isSpecificVersion
- Update tests for rejecting -none and <0
- Reject -none and <0 as version constrained
- Add =all and shorten the failure message
- Minor correction of haddock rendering
- Add more reject-unconstrained unit tests
- Add a stanza constraint too
- Split tests into two groups
- Literal rejections
- Update RequireExplicit/MultiPkg test
@mergify
Merge of #12191
3f4ec66
@mergify mergify Bot mentioned this pull request Aug 22, 2026
Merged
6 tasks
@mergify mergify Bot closed this Aug 22, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/17a85c5270 branch August 22, 2026 04:28
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

@philderbeast