typo

aws · Jul 9, 2024 · 1018eba · 1018eba
1 parent 75b64f1
commit 1018eba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: