From 74a84dad7b6c2a33b0f77b31ca9d3dfdf5ae0176 Mon Sep 17 00:00:00 2001
From: Federico Poli <fpoli@users.noreply.github.com>
Date: Thu, 29 Feb 2024 13:56:45 +0100
Subject: [PATCH] Fix zip on windows

---
 .github/workflows/deploy.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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