ok, now I know where I am

FStarLang · Jun 2, 2024 · da0c3dc · da0c3dc
1 parent b916d92
commit da0c3dc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/windows.yaml b/.github/workflows/windows.yaml
@@ -10,9 +10,9 @@ jobs:
       - name: Build a package
         shell: C:\cygwin64\bin\bash.exe --login '{0}'
         run: |
-          ls -la && pulse/src/ci/package.sh -j 8 && echo "There is a CR at the end of this line"
+          $GITHUB_WORKSPACE/src/ci/package.sh -j 8 && echo "There is a CR at the end of this line"
       - name: Archive the package
         uses: actions/upload-artifact@v3
         with:
           name: pulse-Windows_x86_64.zip
-          path: pulse\src\ci\pulse.zip
+          path: src\ci\pulse.zip