mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 18:34:06 +00:00
This PR bumps `grove-action` to version 0.5, which fixes a bug in the handling of upstream invalidated facts.
This PR bumps `grove-action` to version 0.5, which fixes a bug in the handling of upstream invalidated facts.