Update generate-logos.yml

coq · Dec 15, 2024 · 1c70018 · 1c70018
1 parent 0c74d6c
commit 1c70018
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/generate-logos.yml b/.github/workflows/generate-logos.yml
@@ -17,7 +17,7 @@ jobs:
         with:
           files: rocq-id/ 
           dest: rocq-logos.zip
-      - uses: actions/upload-artifact@v1.1
+      - uses: actions/upload-artifact@v4.4.3
         with:
           name: rocq-logos
-          path: ${{ github.workspace }}/rocq-id/rocq-logos.zip
+          path: ${{ github.workspace }}/rocq-id/