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