Skip to content

Backport #10478: final fixups to sdist check#10649

Merged
mergify[bot] merged 1 commit into3.14from
mergify/bp/3.14/pr-10478
Dec 19, 2024
Merged

Backport #10478: final fixups to sdist check#10649
mergify[bot] merged 1 commit into3.14from
mergify/bp/3.14/pr-10478

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Dec 18, 2024

validated on 3.12 branch and applied in backport of #10448; this brings the fixes up to master

Template B: This PR does not modify behaviour or interface

E.g. the PR only touches documentation or tests, does refactorings, etc.

Include the following checklist in your PR:

  • 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). actually taken from a backport!

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

Depends-on: #10480

@mergify mergify bot mentioned this pull request Dec 18, 2024
2 tasks
@mergify mergify bot added the backport label Dec 18, 2024
@geekosaur geekosaur added the merge me Tell Mergify Bot to merge label Dec 18, 2024
validated on 3.12 branch and applied in backport of #10448; this
brings the fixes up to `master`

(cherry picked from commit 8e076b6)
@Mikolaj Mikolaj force-pushed the mergify/bp/3.14/pr-10478 branch from cf6717d to eb4dcb7 Compare December 19, 2024 04:51
@mergify mergify bot merged commit aee57e8 into 3.14 Dec 19, 2024
@mergify mergify bot deleted the mergify/bp/3.14/pr-10478 branch December 19, 2024 07:27
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.

1 participant