CI deploy Windows: fix exe name

agda · Nov 20, 2022 · ffd3511 · ffd3511
1 parent c6c6fe3
commit ffd3511
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/stack.yml b/.github/workflows/stack.yml
@@ -164,7 +164,7 @@ jobs:
         && runner.os == 'Windows'
       shell: bash
       run: |
-        export FIXW_VER_EXE=fixw-${FIXW_VERSION}.exe
+        export FIXW_VER_EXE=fix-whitespace-${FIXW_VERSION}.exe
         cp -p ${FIXW_EXE}.exe ${FIXW_VER_EXE}
         # Save env variables for the next step
         echo "FIXW_VER_EXE=${FIXW_VER_EXE}" >> ${GITHUB_ENV}