Merge branch 'main' into dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-core-2.26.25

Author: ajewellamz

.github/workflows/ci_codegen.yml

@@ -38,7 +38,7 @@ jobs:
       # and to translate version strings such as "nightly-latest"
       # to an actual DAFNY_VERSION.
       - name: Setup Dafny
-        uses: dafny-lang/[email protected].0
+        uses: dafny-lang/[email protected].2
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/ci_examples_java.yml

@@ -53,7 +53,7 @@ jobs:
           java-version: ${{ matrix.java-version }}
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected].0
+        uses: dafny-lang/[email protected].2
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/ci_examples_net.yml

@@ -46,7 +46,7 @@ jobs:
           dotnet-version: ${{ matrix.dotnet-version }}
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected].0
+        uses: dafny-lang/[email protected].2
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/ci_test_java.yml

@@ -47,7 +47,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected].0
+        uses: dafny-lang/[email protected].2
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/ci_test_net.yml

@@ -47,7 +47,7 @@ jobs:
           dotnet-version: ${{ matrix.dotnet-version }}
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected].0
+        uses: dafny-lang/[email protected].2
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/ci_test_vector_java.yml

@@ -56,7 +56,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected].0
+        uses: dafny-lang/[email protected].2
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/ci_test_vector_net.yml

@@ -52,7 +52,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected].0
+        uses: dafny-lang/[email protected].2
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/library_dafny_verification.yml

@@ -52,7 +52,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected].0
+        uses: dafny-lang/[email protected].2
         with:
           dafny-version: ${{ inputs.dafny }}
 
@@ -73,7 +73,7 @@ jobs:
       # dafny-reportgenerator requires next6
       # but only 7.0 is installed on macos-12-large
       - name: Setup .NET Core SDK '6.0.x'
-        uses: actions/setup-dotnet@v3
+        uses: actions/setup-dotnet@v4
         with:
           dotnet-version: "6.0.x"
 

.github/workflows/library_format.yml

@@ -37,7 +37,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected].0
+        uses: dafny-lang/[email protected].2
         with:
           dafny-version: ${{ '4.2.0' }}
 

.github/workflows/nightly.yml

@@ -73,7 +73,7 @@ jobs:
     steps:
       # We need access to the role that is able to get CI Bot Creds
       - name: Configure AWS Credentials for Release
-        uses: aws-actions/configure-aws-credentials@v2
+        uses: aws-actions/configure-aws-credentials@v4
         with:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::587316601012:role/GitHub-CI-CI-Bot-Credential-Access-Role-us-west-2

.github/workflows/test_vector_verification.yml

@@ -43,7 +43,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected].0
+        uses: dafny-lang/[email protected].2
         with:
           dafny-version: ${{ inputs.dafny }}
 
@@ -64,7 +64,7 @@ jobs:
       # dafny-reportgenerator requires next6
       # but only 7.0 is installed on macos-12-large
       - name: Setup .NET Core SDK '6.0.x'
-        uses: actions/setup-dotnet@v3
+        uses: actions/setup-dotnet@v4
         with:
           dotnet-version: "6.0.x"
 

TestVectors/runtimes/java/build.gradle.kts

@@ -92,7 +92,7 @@ dependencies {
     implementation("software.amazon.cryptography:aws-database-encryption-sdk-dynamodb:${ddbecVersion}")
     implementation("software.amazon.cryptography:TestAwsCryptographicMaterialProviders:${mplVersion}")
 
-    implementation(platform("software.amazon.awssdk:bom:2.24.2"))
+    implementation(platform("software.amazon.awssdk:bom:2.26.25"))
     implementation("software.amazon.awssdk:dynamodb")
     implementation("software.amazon.awssdk:dynamodb-enhanced")
     implementation("software.amazon.awssdk:core:2.26.25")