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