Merge pull request #219 from ianjauslin-rutgers/main

More careful update of github actions
AlexKontorovich · Jan 31, 2025 · 6f9fb1f · 6f9fb1f
2 parents 8512029 + 05c0a63
commit 6f9fb1f
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -71,10 +71,10 @@ jobs:
 
 
       - name: Setup Pages
-        uses: actions/configure-pages@v4
+        uses: actions/configure-pages@v5
 
       - name: Upload blueprint artifact
-        uses: actions/upload-pages-artifact@v4
+        uses: actions/upload-pages-artifact@v3
         with:
           path: docs
 
@@ -100,7 +100,7 @@ jobs:
         run: make LAKEBIN='~/.elan/bin/lake' build
 
       - name: Cache mathlib docs
-        uses: actions/cache@v4
+        uses: actions/cache@v3
         with:
           path: |
             .lake/build/doc/Init
@@ -137,7 +137,7 @@ jobs:
           key: Documentation-cache
 
       #- name: Download blueprint artifacts
-      #  uses: actions/download-artifact@v4
+      #  uses: actions/download-artifact@v3
       #  with:
       #    path: blueprint_artifacts
       #    
@@ -153,7 +153,7 @@ jobs:
         continue-on-error: true
 
       - name: Upload docs & blueprint artifact
-        uses: actions/upload-pages-artifact@v4
+        uses: actions/upload-pages-artifact@v3
         with:
           path: docs