From eb3bb329ac1564cc0c2a3e075de6b9eb538e750f Mon Sep 17 00:00:00 2001
From: Ritvik Kapila <ritvik.iitd@gmail.com>
Date: Wed, 16 Oct 2024 22:10:13 -0700
Subject: [PATCH] update

---
 .github/workflows/library_rust_tests.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
index bef5601d2..695342c2d 100644
--- 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