From cfef643d0359a1139600913aaa2058954883ae7d Mon Sep 17 00:00:00 2001 From: Markus Himmel Date: Tue, 9 Dec 2025 11:33:31 +0100 Subject: [PATCH] chore: ci: bump `grove-action` to v0.5 (#11559) This PR bumps `grove-action` to version 0.5, which fixes a bug in the handling of upstream invalidated facts. --- .github/workflows/grove.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/grove.yml b/.github/workflows/grove.yml index d01c4f5741..916c6c42db 100644 --- a/.github/workflows/grove.yml +++ b/.github/workflows/grove.yml @@ -51,7 +51,7 @@ jobs: - name: Fetch upstream invalidated facts if: ${{ steps.should-run.outputs.should-run == 'true' && steps.workflow-info.outputs.pullRequestNumber != '' }} id: fetch-upstream - uses: TwoFx/grove-action/fetch-upstream@v0.4 + uses: TwoFx/grove-action/fetch-upstream@v0.5 with: artifact-name: grove-invalidated-facts base-ref: master @@ -96,7 +96,7 @@ jobs: - name: Build if: ${{ steps.should-run.outputs.should-run == 'true' }} id: build - uses: TwoFx/grove-action/build@v0.4 + uses: TwoFx/grove-action/build@v0.5 with: project-path: doc/std/grove script-name: grove-stdlib