m

aws · Jan 23, 2025 · ed85162 · ed85162
1 parent 486a9f9
commit ed85162
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml
@@ -310,13 +310,13 @@ jobs:
         uses: ilammy/setup-nasm@v1
 
       - name: Setup Dafny 2 Rust
-        if: matrix.language == 'rust'
+        if: matrix.decrypting_language == 'rust'
         uses: ./smithy-dafny/.github/actions/build_dafny_from_source
         with:
           dafny: d07403b6d6606257e1b5aada4d0156901f4a17de
 
       - name: Setup Dafny 2 Not Rust
-        if: matrix.language != 'rust'
+        if: matrix.decrypting_language != 'rust'
         uses: dafny-lang/[email protected]
         with:
           dafny-version: ${{ inputs.dafny }}