Skip to content

Conversation

@TwoFX
Copy link
Member

@TwoFX TwoFX commented Dec 9, 2025

This PR bumps grove-action to version 0.5, which fixes a bug in the handling of upstream invalidated facts.

@TwoFX TwoFX requested a review from kim-em as a code owner December 9, 2025 10:26
@TwoFX TwoFX added the changelog-no Do not include this PR in the release changelog label Dec 9, 2025
@TwoFX TwoFX enabled auto-merge December 9, 2025 10:26
@TwoFX TwoFX added this pull request to the merge queue Dec 9, 2025
Merged via the queue into leanprover:master with commit cfef643 Dec 9, 2025
20 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog-no Do not include this PR in the release changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant