fix

aws · Oct 16, 2024 · ca93d44 · ca93d44
1 parent 30c80fa
commit ca93d44
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
@@ -75,8 +75,13 @@ jobs:
           git checkout rust-unsound
           make exe
           echo ${{ github.workspace }}/dafny/Scripts
+          echo $GITHUB_PATH
+          echo $GITHUB_ENV
           echo ${{ github.workspace }}/dafny/Scripts >> $GITHUB_PATH
+          echo ${{ github.workspace }}/dafny/Scripts >> $GITHUB_ENV
           echo ${{ github.workspace }}/dafny/Scripts
+          echo $GITHUB_PATH
+          echo $GITHUB_ENV
           dafny --version
 
       - name: Regenerate code using smithy-dafny if necessary