diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 87a2e88cf..d1650f054 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -169,7 +169,7 @@ jobs: submodules: "true" - name: Download latest artifact - uses: actions/download-artifact@v7 + uses: actions/download-artifact@v8 with: name: "Website HEAD Linux Agda-${{ env.DEFAULT_AGDA_VERSION }} GHC-${{ env.DEFAULT_GHC_VERSION }}" path: "site" @@ -219,7 +219,7 @@ jobs: shell: pwsh - name: Download latest artifact - uses: actions/download-artifact@v7 + uses: actions/download-artifact@v8 with: name: "Website HEAD Linux Agda-${{ env.DEFAULT_AGDA_VERSION }} GHC-${{ env.DEFAULT_GHC_VERSION }}" path: "site"