diff --git a/.github/workflows/package-windows.yml b/.github/workflows/package-windows.yml
index cf6305001..4f84df5c8 100644
--- a/.github/workflows/package-windows.yml
+++ b/.github/workflows/package-windows.yml
@@ -111,7 +111,7 @@ jobs:
         if: steps.check-cache.outputs.cache-hit != 'true'
         shell: C:\cygwin64\bin\bash.exe --login '{0}'
         run: |
-          cd $GITHUB_WORKSPACE && cd fstar && eval $(opam env) && make clean && CC=x86_64-w64-mingw32-gcc.exe DUNE_CONFIG__BACKGROUND_SANDBOXES=disabled make -j$(nproc) package V=1 ADMIT=1 && echo "There is a CR at the end of this line"
+          cd $GITHUB_WORKSPACE && cd fstar && eval $(opam env) && make clean && CC=x86_64-w64-mingw32-gcc.exe DUNE_CONFIG__BACKGROUND_SANDBOXES=disabled make -j$(nproc) package V=1 ADMIT=1 && mv fstar.zip .. && echo "There is a CR at the end of this line"
         
       - name: Save
         if: steps.check-cache.outputs.cache-hit != 'true'