add dafny env var

aws · Oct 17, 2024 · 207234c · 207234c
1 parent 374cfd0
commit 207234c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
@@ -112,7 +112,8 @@ jobs:
         env:
           DAFNY_VERSION: ${{ env.DAFNY_VERSION }}
         run: |
-          make polymorph_rust
+          echo "DAFNY_VERSION is: ${DAFNY_VERSION}"
+          make polymorph_rust DAFNY_VERSION="${DAFNY_VERSION}"
 
       - name: Compile AwsEncryptionSDK implementation
         shell: bash