Skip to content

Backport #11970: Run ghc-supported-extensions on CI#11990

Merged
mergify[bot] merged 1 commit into
3.18from
mergify/bp/3.18/pr-11970
Jun 20, 2026
Merged

Backport #11970: Run ghc-supported-extensions on CI#11990
mergify[bot] merged 1 commit into
3.18from
mergify/bp/3.18/pr-11970

Conversation

@mergify

@mergify mergify Bot commented Jun 20, 2026

Copy link
Copy Markdown
Contributor

(cherry picked from commit dbde496)
@Mikolaj Mikolaj added the merge me Tell Mergify Bot to merge label Jun 20, 2026
@mergify

mergify Bot commented Jun 20, 2026

Copy link
Copy Markdown
Contributor Author

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

@mergify mergify Bot added the queued label Jun 20, 2026
@mergify

mergify Bot commented Jun 20, 2026

Copy link
Copy Markdown
Contributor Author

Merge Queue Status

This pull request spent 1 hour 50 minutes 12 seconds in the queue, including 1 hour 49 minutes 32 seconds running CI.

Required conditions to merge
  • #approved-reviews-by >= 1 [🛡 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 = Validate post job
    • check-neutral = Validate post job
    • check-skipped = Validate post job
  • 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 = 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

mergify Bot added a commit that referenced this pull request Jun 20, 2026
@mergify mergify Bot merged commit fe48338 into 3.18 Jun 20, 2026
60 checks passed
@mergify mergify Bot deleted the mergify/bp/3.18/pr-11970 branch June 20, 2026 15:44
@mergify mergify Bot removed the queued label Jun 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport merge me Tell Mergify Bot to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants