Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Jun 15, 2024

Be sure to invalidate the cache if building throws an exception! If not, we'll abort execution with a stale recompilation cache. See ghc#24926 for an example of how this can go wrong.

Please read Github PR Conventions and then fill in one of these two templates.


Template Α: This PR modifies behaviour or interface

Include the following checklist in your PR:

  • Patches conform to the coding conventions.
  • Any changes that could be relevant to users have been recorded in the changelog.
  • The documentation has been updated, if necessary.
  • Manual QA notes have been included.
  • Tests have been added. (Ask for help if you don’t know how to write them! Ask for an exemption if tests are too complex for too little coverage!)

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

Be sure to invalidate the cache if building throws an exception!
If not, we'll abort execution with a stale recompilation cache.
See ghc#24926 for an example of how this can go wrong.

(cherry picked from commit a9f2c3b)
Copy link
Collaborator

@ulysses4ever ulysses4ever left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We're stopping backports to 3.12 after the weekend but since there's no conflicts, let's try to squeeze this one in.

@ulysses4ever ulysses4ever added the squash+merge me Tell Mergify Bot to squash-merge label Jun 15, 2024
@mergify mergify bot merged commit 862584a into 3.12 Jun 15, 2024
@mergify mergify bot deleted the mergify/bp/3.12/pr-10105 branch June 15, 2024 11:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport squash+merge me Tell Mergify Bot to squash-merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants