Merge branch 'main' into ajewell/vectormsg

Author: ajewellamz

.github/workflows/library_dafny_verification.yml

@@ -28,6 +28,7 @@ jobs:
     # Don't run the nightly build on forks
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     strategy:
+      fail-fast: false
       matrix:
         # Break up verification between namespaces over multiple
         # actions to take advantage of parallelization
@@ -82,7 +83,7 @@ jobs:
         uses: ./.github/actions/polymorph_codegen
         with:
           dafny: ${{ env.DAFNY_VERSION }}
-          library: ${{ matrix.library }}
+          library: DynamoDbEncryption
           diff-generated-code: false
 
       - name: Verify ${{ matrix.library }} Dafny code