m

Author: ajewellamz

.github/workflows/ci_test_go.yml

@@ -29,7 +29,7 @@ jobs:
       fail-fast: false
       matrix:
         library: [DynamoDbEncryption, TestVectors]
-        os: [ubuntu-22.04, macos-14]
+        os: [ubuntu-22.04, macos-15-intel]
         go-version: ["1.23", "1.24", "1.25"]
     runs-on: ${{ matrix.os }}
     permissions:
@@ -43,27 +43,16 @@ jobs:
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
 
-      - name: Install Java
-        uses: actions/setup-java@v5
-        with:
-          distribution: "corretto"
-          java-version: "11" # DynamoDB Local requires Java
-
-      - name: Download DynamoDB Local
-        run: |
-          wget https://dynamodb-local.s3.amazonaws.com/dynamodb_local_latest.tar.gz
-          tar -xf dynamodb_local_latest.tar.gz
-
-      - name: Start DynamoDB Local
-        run: java -Djava.library.path=./DynamoDBLocal_lib -jar DynamoDBLocal.jar -inMemory -sharedDb &
-        # The & runs the Java process in the background.
+      - name: Setup Docker
+        if: matrix.os == 'macos-15-intel' && matrix.library == 'TestVectors'
+        uses: douglascamata/[email protected]
 
-      - name: Wait for DynamoDB Local
-        run: |
-          echo "Waiting for DynamoDB Local to start..."
-          until curl -s http://localhost:8000; do
-            sleep 1
-          done
+      - name: Setup DynamoDB Local
+        if: matrix.library == 'TestVectors'
+        uses: rrainn/[email protected]
+        with:
+          port: 8000
+          cors: "*"
 
       - name: Support longpaths
         run: |

.github/workflows/ci_test_latest_released_mpl_java.yml

@@ -48,7 +48,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Java ${{ matrix.java-version }}
-        uses: actions/setup-java@v4
+        uses: actions/setup-java@v5
         with:
           distribution: "corretto"
           java-version: ${{ matrix.java-version }}

.github/workflows/ci_test_vector_net.yml

@@ -28,7 +28,7 @@ jobs:
         os: [
             # Run on ubuntu image that comes pre-configured with docker
             ubuntu-22.04,
-            macos-14,
+            macos-15-intel,
           ]
     runs-on: ${{ matrix.os }}
     permissions:
@@ -42,27 +42,16 @@ jobs:
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-DotNet-Tests
 
-      - name: Install Java
-        uses: actions/setup-java@v5
-        with:
-          distribution: "corretto"
-          java-version: "11" # DynamoDB Local requires Java
-
-      - name: Download DynamoDB Local
-        run: |
-          wget https://dynamodb-local.s3.amazonaws.com/dynamodb_local_latest.tar.gz
-          tar -xf dynamodb_local_latest.tar.gz
+      - name: Setup Docker
+        if: matrix.os == 'macos-15-intel' && matrix.library == 'TestVectors'
+        uses: douglascamata/[email protected]
 
-      - name: Start DynamoDB Local
-        run: java -Djava.library.path=./DynamoDBLocal_lib -jar DynamoDBLocal.jar -inMemory -sharedDb &
-        # The & runs the Java process in the background.
-
-      - name: Wait for DynamoDB Local
-        run: |
-          echo "Waiting for DynamoDB Local to start..."
-          until curl -s http://localhost:8000; do
-            sleep 1
-          done
+      - name: Setup DynamoDB Local
+        if: matrix.library == 'TestVectors'
+        uses: rrainn/[email protected]
+        with:
+          port: 8000
+          cors: "*"
 
       - uses: actions/checkout@v3
         with:

.github/workflows/dafny_interop_test_vector_java.yml

@@ -69,7 +69,7 @@ jobs:
           git rev-parse HEAD
 
       - name: Setup Java ${{ matrix.java-version }}
-        uses: actions/setup-java@v4
+        uses: actions/setup-java@v5
         with:
           distribution: "corretto"
           java-version: ${{ matrix.java-version }}

.github/workflows/dafny_interop_test_vector_net.yml

@@ -47,7 +47,7 @@ jobs:
           fetch-depth: 0
 
       - name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
-        uses: actions/setup-dotnet@v4
+        uses: actions/setup-dotnet@v5
         with:
           dotnet-version: ${{ matrix.dotnet-version }}
 

.github/workflows/library_rust_tests.yml

@@ -41,20 +41,16 @@ jobs:
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Rust-Tests
 
-      - name: Install Java
-        uses: actions/setup-java@v5
-        with:
-          distribution: "corretto"
-          java-version: "11" # DynamoDB Local requires Java
+      - name: Setup Docker
+        if: matrix.os == 'macos-15-intel' && matrix.library == 'TestVectors'
+        uses: douglascamata/[email protected]
 
-      - name: Download DynamoDB Local
-        run: |
-          wget https://dynamodb-local.s3.amazonaws.com/dynamodb_local_latest.tar.gz
-          tar -xf dynamodb_local_latest.tar.gz
-
-      - name: Start DynamoDB Local
-        run: java -Djava.library.path=./DynamoDBLocal_lib -jar DynamoDBLocal.jar -inMemory -sharedDb &
-        # The & runs the Java process in the background.
+      - name: Setup DynamoDB Local
+        if: matrix.library == 'TestVectors'
+        uses: rrainn/[email protected]
+        with:
+          port: 8000
+          cors: "*"
 
       - name: Support longpaths on Git checkout
         run: |