diff --git a/.github/workflows/ci_examples_java.yml b/.github/workflows/ci_examples_java.yml
index 8ff093e74..5e5cbc333 100644
--- a/.github/workflows/ci_examples_java.yml
+++ b/.github/workflows/ci_examples_java.yml
@@ -62,6 +62,15 @@ jobs:
# A && B || C is the closest thing to an if .. then ... else ... or ?: expression the GitHub Actions syntax supports.
dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }}
+ - name: Regenerate code using smithy-dafny if necessary
+ if: ${{ github.event_name == 'schedule' || inputs.nightly }}
+ uses: ./.github/actions/polymorph_codegen
+ with:
+ dafny: ${{ env.DAFNY_VERSION }}
+ library: DynamoDbEncryption
+ diff-generated-code: false
+ update-and-regenerate-mpl: true
+
- name: Build and locally deploy dependencies for examples
shell: bash
working-directory: ./DynamoDbEncryption
diff --git a/.github/workflows/ci_test_java.yml b/.github/workflows/ci_test_java.yml
index d6186c2fb..a55e0b015 100644
--- a/.github/workflows/ci_test_java.yml
+++ b/.github/workflows/ci_test_java.yml
@@ -59,7 +59,7 @@ jobs:
dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }}
- name: Regenerate code using smithy-dafny if necessary
- if: ${{ inputs.nightly }}
+ if: ${{ github.event_name == 'schedule' || inputs.nightly }}
uses: ./.github/actions/polymorph_codegen
with:
dafny: ${{ env.DAFNY_VERSION }}
diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml
index c48cb853e..76f15b09c 100644
--- a/.github/workflows/ci_test_net.yml
+++ b/.github/workflows/ci_test_net.yml
@@ -66,7 +66,7 @@ jobs:
dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }}
- name: Regenerate code using smithy-dafny if necessary
- if: ${{ inputs.nightly }}
+ if: ${{ github.event_name == 'schedule' || inputs.nightly }}
uses: ./.github/actions/polymorph_codegen
with:
dafny: ${{ env.DAFNY_VERSION }}
diff --git a/.github/workflows/ci_verification.yml b/.github/workflows/ci_verification.yml
index ef7366e27..abfa56397 100644
--- a/.github/workflows/ci_verification.yml
+++ b/.github/workflows/ci_verification.yml
@@ -54,7 +54,7 @@ jobs:
dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }}
- name: Regenerate code using smithy-dafny if necessary
- if: ${{ inputs.nightly }}
+ if: ${{ github.event_name == 'schedule' || inputs.nightly }}
uses: ./.github/actions/polymorph_codegen
with:
dafny: ${{ env.DAFNY_VERSION }}
diff --git a/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj b/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
index 0ac4c9330..c634d5a62 100644
--- a/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
+++ b/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
@@ -31,11 +31,35 @@
CS0105,CS0618
+
+
+
+ $([System.IO.File]::ReadAllText('$(MSBuildProjectDirectory)/../../../project.properties'))
+
+
+ $([System.Text.RegularExpressions.Regex]::Split("$(projectProperties)", "dafnyVersion=")[1])
+
+
+ $([System.Text.RegularExpressions.Regex]::Split("$(dropBeforeDafnyVersionProperty)", "\n")[1])
+
+
-
+