m

Author: Lucas McDonald

.github/workflows/daily_ci.yml

@@ -66,6 +66,11 @@ jobs:
     uses: ./.github/workflows/ci_test_python.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+  daily-ci-python-examples:
+    needs: getVersion
+    uses: ./.github/workflows/ci_examples_python.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
   daily-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml

.github/workflows/manual.yml

@@ -62,6 +62,11 @@ jobs:
     with:
       dafny: ${{ inputs.dafny }}
       regenerate-code: ${{ inputs.regenerate-code }}
+  manual-ci-python-examples:
+    uses: ./.github/workflows/ci_examples_python.yml
+    with:
+      dafny: ${{ inputs.dafny }}
+      regenerate-code: ${{ inputs.regenerate-code }}
   manual-ci-net-test-vectors:
     uses: ./.github/workflows/ci_test_vector_net.yml
     with:

.github/workflows/mpl-head.yml

@@ -79,6 +79,12 @@ jobs:
     with:
       dafny: ${{needs.getVersion.outputs.version}}
       mpl-head: true
+  mpl-head-ci-python-examples:
+    needs: getVersion
+    uses: ./.github/workflows/ci_examples_python.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+      mpl-head: true
   mpl-head-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml

.github/workflows/pull.yml

@@ -64,6 +64,11 @@ jobs:
     uses: ./.github/workflows/ci_test_vector_python.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-python-examples:
+    needs: getVersion
+    uses: ./.github/workflows/ci_examples_python.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml

.github/workflows/push.yml

@@ -61,6 +61,11 @@ jobs:
     uses: ./.github/workflows/ci_test_python.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-python-examples:
+    needs: getVersion
+    uses: ./.github/workflows/ci_examples_python.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml

Examples/runtimes/python/DynamoDBEncryption/src/encrypted_client.py

@@ -15,4 +15,4 @@ def test_encrypted_table_put_get_example():
     test_dynamodb_table_name = \
         "DynamoDbEncryptionInterceptorTestTable"
     encrypted_table_put_get_example(test_kms_key_id,
-                                     test_dynamodb_table_name)
+                                     test_dynamodb_table_name)