chore(deps): bump actions/download-artifact from 5 to 7 (#788)

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Author: dependabot[bot]

.github/workflows/ci.yml

@@ -132,7 +132,7 @@ jobs:
       - uses: pandoc/actions/setup@v1
 
       - name: Download lean artifacts
-        uses: actions/download-artifact@v5
+        uses: actions/download-artifact@v7
         with:
           name: lean-artifacts
       - name: Copy from artifacts to pages