diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 68d35cfea77..99b85baa484 100644
--- 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/zip-release@0.7.5
+        with:
+          directory: prusti_artifact
+          filename: release.zip
 
       - name: Upload Prusti artifact
         uses: actions/upload-artifact@v3