From 854bbb3e5ddc2fcb90a62ac771dec64ceb926e68 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Tue, 20 Aug 2024 12:10:22 -0700 Subject: [PATCH] chore(GHA): fix test vector dafny interop --- .github/workflows/dafny_interop_test_vector_java.yml | 5 ----- .github/workflows/dafny_interop_test_vector_net.yml | 2 +- 2 files changed, 1 insertion(+), 6 deletions(-) diff --git a/.github/workflows/dafny_interop_test_vector_java.yml b/.github/workflows/dafny_interop_test_vector_java.yml index a90478e8c..09131e27f 100644 --- a/.github/workflows/dafny_interop_test_vector_java.yml +++ b/.github/workflows/dafny_interop_test_vector_java.yml @@ -56,11 +56,6 @@ jobs: with: dafny-version: ${{ inputs.mpl-dafny }} - - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 - with: - dafny-version: ${{ inputs.dafny }} - - name: Update MPL submodule working-directory: submodules/MaterialProviders run: | diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml index 1d26e5798..86ba24398 100644 --- a/.github/workflows/dafny_interop_test_vector_net.yml +++ b/.github/workflows/dafny_interop_test_vector_net.yml @@ -22,7 +22,7 @@ jobs: testDotNet: strategy: matrix: - library: [DynamoDbEncryption, TestVectors] + library: [TestVectors] dotnet-version: ["6.0.x"] os: [macos-12, ubuntu-latest, windows-latest] runs-on: ${{ matrix.os }}