update

aws · Oct 17, 2024 · eb3bb32 · eb3bb32
1 parent 573f51d
commit eb3bb32
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
@@ -76,7 +76,7 @@ jobs:
           make exe
 
           if [ "$RUNNER_OS" == "Windows" ]; then
-            echo ${{ github.workspace }}/dafny/Scripts | sed 's/\\/\//g' >> $GITHUB_PATH
+            echo $PWD/dafny/Scripts | sed 's/\\/\//g' >> $GITHUB_PATH
           else
             echo ${{ github.workspace }}/dafny/Scripts >> $GITHUB_PATH
           fi