fix

project-everest · Jan 17, 2025 · afeffb3 · afeffb3
1 parent 5258e69
commit afeffb3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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'