From ed851625e9c31557ab90674c42c7c2a49f48ea22 Mon Sep 17 00:00:00 2001 From: Andy Jewell Date: Thu, 23 Jan 2025 13:58:08 -0500 Subject: [PATCH] m --- .github/workflows/library_interop_tests.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml index b55a7e9bb..2a4eb5ec1 100644 --- 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/setup-dafny-action@v1.6.1 with: dafny-version: ${{ inputs.dafny }}