ci: try upload-pages-artifact

leanprover-community · Jan 26, 2025 · 6d6bd38 · 6d6bd38
1 parent 796fca5
commit 6d6bd38
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -81,13 +81,10 @@ jobs:
         run: |
           lake --quiet exe generate-manual --depth 2 --with-word-count "words.txt" --verbose --output "_out" --site-base-url "/"
 
-      - name: Save generated HTML to artifact storage
-        uses: actions/upload-artifact@v4
+      - name: Upload static files as artifact
+        uses: actions/upload-pages-artifact@v3
         with:
-          name: 'github-pages'
           path: '_out/'
-          retention-days: 5
-          overwrite: true
 
       - name: Report word count
         run: |