From 1018eba3d66df3fffabce2de2deef75f68c56fdb Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Tue, 9 Jul 2024 15:14:58 -0700 Subject: [PATCH] typo --- .github/workflows/library_dafny_verification.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml index 9030963bd..0c1f3fee8 100644 --- a/.github/workflows/library_dafny_verification.yml +++ b/.github/workflows/library_dafny_verification.yml @@ -22,7 +22,7 @@ jobs: matrix: # Break up verification between namespaces over multiple # actions to take advantage of parallelization - library: [DDBEncryption, TestVectors] + library: [DynamoDbEncryption, TestVectors] os: [macos-12] runs-on: ${{ matrix.os }} defaults: