Fix zip on windows

viperproject · Feb 29, 2024 · 74a84da · 74a84da
1 parent 02af397
commit 74a84da
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -49,10 +49,10 @@ jobs:
         run: python x.py test-package prusti_artifact
 
       - name: Zip Prusti artifact
-        shell: bash
-        run: |
-          cd prusti_artifact
-          zip -r release.zip *
+        uses: thedoctor0/[email protected]
+        with:
+          directory: prusti_artifact
+          filename: release.zip
 
       - name: Upload Prusti artifact
         uses: actions/upload-artifact@v3