Skip to content

merge queue: queuing master (ed1cbcb) and #11995 together#12011

Closed
mergify[bot] wants to merge 2 commits into
masterfrom
mergify/merge-queue/989fe5b7cb
Closed

merge queue: queuing master (ed1cbcb) and #11995 together#12011
mergify[bot] wants to merge 2 commits into
masterfrom
mergify/merge-queue/989fe5b7cb

Conversation

@mergify

@mergify mergify Bot commented Jun 23, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

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

Branch master (ed1cbcb) and #11995 are queued together for merge.

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

  • #approved-reviews-by >= 2 [🛡 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: ed1cbcbd497f68cc4c8737299a9314f7d56d8d74
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 11995
    scopes: []
scopes: []
...

philderbeast and others added 2 commits June 21, 2026 16:08
@philderbeast
Add ProjectFileKey
08700c6 
- Rename constructor to ProjectFileKeyMain
- Move ProjectFileKey to DistDirLayout module
- Change distProjectFile arg from String to Key
- Remove distProjectFileMain
- Use ProjectFileKey in parser-tests
- Derive Ord and Show for ProjectFileKey
- Add a changelog entry
@mergify
Merge of #11995
fb1c028
@mergify mergify Bot mentioned this pull request Jun 23, 2026
Merged
6 tasks
@mergify mergify Bot closed this Jun 23, 2026
@mergify mergify Bot deleted the mergify/merge-queue/989fe5b7cb branch June 23, 2026 23: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

@philderbeast