fix

aws · Oct 16, 2024 · 30c80fa · 30c80fa
1 parent 6085144
commit 30c80fa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
@@ -74,10 +74,10 @@ jobs:
           cd dafny/
           git checkout rust-unsound
           make exe
+          echo ${{ github.workspace }}/dafny/Scripts
           echo ${{ github.workspace }}/dafny/Scripts >> $GITHUB_PATH
-          echo "github path print: $GITHUB_PATH"
+          echo ${{ github.workspace }}/dafny/Scripts
           dafny --version
-          Dafny --version
 
       - name: Regenerate code using smithy-dafny if necessary
         if: ${{ inputs.regenerate-code }}