Skip to content

Backport #12324: Remove uneeded release artifacts - #12338

Merged
mergify[bot] merged 1 commit into
3.18from
mergify/bp/3.18/pr-12324
Sep 9, 2026
Merged

Backport #12324: Remove uneeded release artifacts#12338
mergify[bot] merged 1 commit into
3.18from
mergify/bp/3.18/pr-12324

Conversation

@mergify

@mergify mergify Bot commented Sep 8, 2026

Copy link
Copy Markdown
Contributor

Closes #12179.

I tested it locally by running cabal sdist --output-directory out/ Cabal-syntax Cabal-hooks Cabal cabal-install-solver hooks-exe cabal-install and confirming it works as expected.

This cannot be backported to 3.16, we used a different release method at the time.

  • Patches conform to the coding conventions.
  • Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

This is an automatic backport of pull request #12324 done by [Mergify](https://mergify.com).

* Spell options longhand

* List source distribution file targets

This way we will not release unneeded packages like `cabal-benchmarks`.

* Add explanatory note

(cherry picked from commit 9b9fe2a)
@mergify mergify Bot mentioned this pull request Sep 8, 2026
2 tasks
@mergify mergify Bot added the backport label Sep 8, 2026
@mergify

mergify Bot commented Sep 9, 2026

Copy link
Copy Markdown
Contributor Author

Merge Queue Status

  • Entered queue2026-09-09 08:48 UTC · Rule: default · triggered by rule Put backports in the rebase+merge queue
  • Checks failed · on draft merge queue: checking #12338 on 3.18 (e8d8fcc) #12342
  • 🚫 Left the queue2026-09-09 10:45 UTC · at 5dc07cdda694fc8bbfb33d3f73447e8c9428a66d

This pull request spent 1 hour 56 minutes 47 seconds in the queue, including 1 hour 42 minutes 10 seconds running CI.

Waiting for any of
  • check-neutral = Validate post job
  • check-skipped = Validate post job
  • check-success = Validate post job
All conditions
  • any of [🛡 GitHub branch protection]:
    • check-neutral = Validate post job
    • check-skipped = Validate post job
    • check-success = Validate post job
  • #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 = 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

Reason

The merge conditions cannot be satisfied due to failing checks

  • Doctest Cabal
  • Meta checks
  • Validate post job
  • docs/readthedocs.org:cabal
  • Bootstrap post job
  • whitespace
  • Check sdist post job
  • Changelogs

Failing checks:

Hint

You may have to fix your CI before adding the pull request to the queue again.
If you update this pull request, to fix the CI, it will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue instead, you can requeue the pull request, without updating it, by posting a @mergifyio queue comment.

@mergify mergify Bot added dequeued and removed queued labels Sep 9, 2026
@zlonast

zlonast commented Sep 9, 2026

Copy link
Copy Markdown
Collaborator

@Mergifyio queue

@mergify

mergify Bot commented Sep 9, 2026

Copy link
Copy Markdown
Contributor Author

Merge Queue Status

This pull request spent 2 hours 21 minutes 9 seconds in the queue, including 2 hours 10 minutes 23 seconds running CI.

Required conditions to 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 = 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 mergify Bot added queued and removed dequeued labels Sep 9, 2026
@mergify
mergify Bot merged commit 4789acd into 3.18 Sep 9, 2026
86 of 106 checks passed
@mergify
mergify Bot deleted the mergify/bp/3.18/pr-12324 branch September 9, 2026 17:51
@mergify mergify Bot removed the queued label Sep 9, 2026
@haskell haskell deleted a comment from humh25 Sep 10, 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