diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 87a2e88cf..ff70b061f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -150,7 +150,7 @@ jobs: - name: "Upload latest artifact" if: always() - uses: actions/upload-artifact@v6 + uses: actions/upload-artifact@v7 with: name: "Website HEAD ${{ runner.os }} Agda-${{ matrix.agda-version || env.DEFAULT_AGDA_VERSION }} GHC-${{ matrix.ghc-version || env.DEFAULT_GHC_VERSION }}" path: "_site"