-
Notifications
You must be signed in to change notification settings - Fork 696
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Rename projects to have .project
extension (backport #9958)
#10040
Conversation
- Rename cabal.bootstrap.project - Rename cabal.meta.project - Rename cabal.validate-libonly.project - Rename cabal.validate.project - Rename cabal.release.project (cherry picked from commit d8147f6) # Conflicts: # .github/workflows/quick-jobs.yml # Makefile # cabal.bootstrap.project
Cherry-pick of d8147f6 has failed:
To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally |
3333c31
to
b89714c
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you.
maybe we should first backport #9845 created that backport: #10041 but it fails due to the update of the runners to ghc 9.10. So, we'd need to first land another #10027 (backport of #10026) but it's quite far away from what's currently on 3.12, so the best course would be if someone could manually reapply the fix from #10026 to 3.12 and then.... oh, my. |
Fixes #9925, renaming project files to have a
.project
extension.Template Β: This PR does not modify
cabal
behaviour (documentation, tests, refactoring, etc.)Include the following checklist in your PR:
This is an automatic backport of pull request #9958 done by [Mergify](https://mergify.com).