chore: ci: bump `grove-action` to v0.5#11559

TwoFX merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

TwoFX:markus/bump-grove-actionTwoFX/lean4:markus/bump-grove-actionCopy head branch name to clipboard