Skip to content

merge queue: merged #12548: Drop support of GHC 9.4 and base-4.17 - #12559

Closed
mergify[bot] wants to merge 2 commits into
masterfrom
mergify/merge-queue/88840967ea
Closed

merge queue: merged #12548: Drop support of GHC 9.4 and base-4.17#12559
mergify[bot] wants to merge 2 commits into
masterfrom
mergify/merge-queue/88840967ea

Conversation

@mergify

@mergify mergify Bot commented Nov 10, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Note

This is a merge queue draft opened by Mergify. Its pull request has merged, and nobody needs to act on it.
Mergify opened it for batch medical-poilane-gepb7y of the default queue, to test #12548 before it merged into master.

🎉 What landed

Mergify merged its pull request into master, then closed this draft:

  • #12548 Drop support of GHC 9.4 and base-4.17 (Bodigrim), as a235a23

This draft's code was built in this order:

  1. master at d042eef
  2. #12548, the pull request of this batch
Metadata for CI tooling, read by mergify ci 
---
all_scopes: false
checking_base_sha: d042eef28588c53f7db66ea0edd871085ef3d62f
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 12548
    scopes: []
scopes: []
...
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

Bodigrim and others added 2 commits November 7, 2026 20:01
@Bodigrim
Drop support of GHC 9.4 and base-4.17
31f1038 
This also allows us to raise the lower version of `filepath` and `unix` to the one corresponding
the boot packages of GHC 9.6.7.
@mergify @mergify-commit-signer
Merge of #12548
05e8275
@mergify mergify Bot mentioned this pull request Nov 10, 2026
Merged
2 of 6 tasks
@mergify mergify Bot changed the title merge queue: checking #12548 on master (d042eef) merge queue: merged #12548: Drop support of GHC 9.4 and base-4.17 Nov 10, 2026
@mergify mergify Bot closed this Nov 10, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/88840967ea branch November 10, 2026 03:08
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

@Bodigrim