fix

Author: josecorella

.github/workflows/library_dafny_verification.yml

@@ -70,17 +70,24 @@ jobs:
           # This works because `node` is installed by default on GHA runners
           CORES=$(node -e 'console.log(os.cpus().length)')
           make verify_service CORES=$CORES SERVICE=${{ matrix.library }}
-
+      
+      - name: Check solver resource use
+        if: (success() || failure()) && ${{ matrix.library != 'TestVectors' }}
+        working-directory: ./DynamoDbEncryption
+        run: |
+          make dafny-reportgenerator
+      
       - name: Verify TestVectors Dafny code
         if: ${{ matrix.library == 'TestVectors' }}
         working-directory: ${{ matrix.library }}
         run: |
           # This works because `node` is installed by default on GHA runners
           CORES=$(node -e 'console.log(os.cpus().length)')
           make verify CORES=$CORES
-
+      
       - name: Check solver resource use
-        if: success() || failure()
-        working-directory: ${{ matrix.library }}
+        if: (success() || failure()) && ${{ matrix.library == 'TestVectors' }}
+        working-directory: ${{matrix.library}}
         run: |
           make dafny-reportgenerator
+