diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index affc9dbcd..f7e93f935 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@v6 + uses: actions/download-artifact@v7 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@v6 + uses: actions/download-artifact@v7 with: name: "Website HEAD Linux Agda-${{ env.DEFAULT_AGDA_VERSION }} GHC-${{ env.DEFAULT_GHC_VERSION }}" path: "site"