chore(CI): fix dafny_interop to setup_net

.github/workflows/dafny_interop_examples_java.yml

@@ -59,6 +59,9 @@ jobs:
           git submodule update --init --recursive
           git rev-parse HEAD
 
+      - name: Install Smithy-Dafny codegen dependencies
+        uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
+
       - name: Setup Java 8
         uses: actions/setup-java@v5
         with:

.github/workflows/dafny_interop_java.yml

@@ -59,6 +59,9 @@ jobs:
           git submodule update --init --recursive
           git rev-parse HEAD
 
+      - name: Install Smithy-Dafny codegen dependencies
+        uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
+
       - name: Setup Java 8
         uses: actions/setup-java@v5
         with:

.github/workflows/dafny_interop_test_vector_java.yml

@@ -68,6 +68,9 @@ jobs:
           git submodule update --init --recursive
           git rev-parse HEAD
 
+      - name: Install Smithy-Dafny codegen dependencies
+        uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
+
       - name: Setup Java ${{ matrix.java-version }}
         uses: actions/setup-java@v5
         with:

.github/workflows/daily_ci.yml

@@ -1,9 +1,15 @@
 # This workflow runs every weekday at 16:00 UTC (9AM PDT)
 name: Daily CI
 
+permissions:
+  contents: read
+  id-token: write
+
 on:
   schedule:
     - cron: "00 16 * * 1-5"
+  pull_request:
+    paths: .github/workflows/daily_ci.yml
 
 jobs:
   getVersion:

.github/workflows/pull.yml

@@ -1,6 +1,10 @@
 # This workflow runs for every pull request
 name: PR CI
 
+permissions:
+  contents: read
+  id-token: write
+
 on:
   pull_request:
 

.github/workflows/push.yml

@@ -1,6 +1,10 @@
 # This workflow runs for every push to main
 name: Push CI
 
+permissions:
+  contents: read
+  id-token: write
+
 on:
   push:
     branches:

DynamoDbEncryption/codebuild/release-prod.yml

@@ -14,6 +14,7 @@ phases:
       - export PATH="$PWD/dafny:$PATH"
       # Switch back to the main directory
       - cd aws-database-encryption-sdk-dynamodb
+      - make -C DynamoDbEncryption mvn_local_deploy_polymorph_dependencies
   pre_build:
     commands:
       # UNIQUE_ID should be passed in as an environment variable. It is used to tie

DynamoDbEncryption/codebuild/release-staging.yml

@@ -14,6 +14,7 @@ phases:
       - export PATH="$PWD/dafny:$PATH"
       # Switch back to the main directory
       - cd aws-database-encryption-sdk-dynamodb
+      - make -C DynamoDbEncryption mvn_local_deploy_polymorph_dependencies
   pre_build:
     commands:
       # UNIQUE_ID should be passed in as an environment variable. It is used to tie

DynamoDbEncryption/codebuild/sign.yml

@@ -14,6 +14,7 @@ phases:
       - export PATH="$PWD/dafny:$PATH"
       # Switch back to the main directory
       - cd aws-database-encryption-sdk-dynamodb
+      - make -C DynamoDbEncryption mvn_local_deploy_polymorph_dependencies
   pre_build:
     commands:
       # UNIQUE_ID should be passed in as an environment variable. It is used to tie

DynamoDbEncryption/codebuild/test-prod.yml

@@ -14,6 +14,7 @@ phases:
       - export PATH="$PWD/dafny:$PATH"
       # Switch back to the main directory
       - cd aws-database-encryption-sdk-dynamodb
+      - make -C DynamoDbEncryption mvn_local_deploy_polymorph_dependencies
   pre_build:
     commands:
       - cd DynamoDbEncryption

DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj

@@ -57,17 +57,18 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.402.2"/>
-    <PackageReference Include="AWSSDK.Core" Version="3.7.400.38"/>
     <PackageReference Include="DafnyRuntime" Version="$(DafnyVersion)" />
+    <!-- See https://learn.microsoft.com/en-us/nuget/concepts/package-versioning?tabs=semver20sort#version-ranges   -->
+    <PackageReference Include="AWSSDK.Core" Version="[3.7.*, 4.0)" />
+    <PackageReference Include="AWSSDK.DynamoDBv2" Version="[3.7.*, 4.0)" />
     <ProjectReference Include="../../../submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj"/>
     <!--
-              System.Collections.Immutable can be removed once dafny.msbuild is updated with
-              https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
-            -->
-    <PackageReference Include="System.Collections.Immutable" Version="1.7.0"/>
+      System.Collections.Immutable can be removed once dafny.msbuild is updated with
+      https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
+    -->
+    <PackageReference Include="System.Collections.Immutable" Version="1.7.0" />
     <!-- Work around for dafny-lang/dafny/issues/1951; remove once resolved -->
-    <PackageReference Include="System.ValueTuple" Version="4.6.1"/>
+    <PackageReference Include="System.ValueTuple" Version="4.6.1" />
 
     <Compile Include="Extern/**/*.cs"/>
     <Compile Include="Generated/**/*.cs"/>

project.properties

@@ -1,5 +1,5 @@
 projectJavaVersion=3.9.0-SNAPSHOT
-mplDependencyJavaVersion=1.11.1-SNAPSHOT
+mplDependencyJavaVersion=1.11.2-SNAPSHOT
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.1
 dafnyRuntimeJavaVersion=4.9.0