m

Author: ajewellamz

.github/workflows/ci_test_vector_java.yml

@@ -32,7 +32,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:
@@ -46,39 +46,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: 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 -port 8000 -cors '*' > dynamodb-local.log 2>&1 &
-          echo $! > dynamodb-local.pid
-
-      - name: Wait for DynamoDB Local
-        run: |
-          echo "Waiting for DynamoDB Local to start..."
-          for i in {1..30}; do
-            if curl -s -f http://localhost:8000 > /dev/null 2>&1; then
-              echo "DynamoDB Local is ready"
-              break
-            fi
-            echo "Attempt $i: DynamoDB Local not ready yet..."
-            sleep 2
-          done
-          # Verify it's actually working
-          curl -X POST http://localhost:8000 \
-            -H "Content-Type: application/x-amz-json-1.0" \
-            -H "X-Amz-Target: DynamoDB_20120810.ListTables" \
-            -d '{}' || (cat dynamodb-local.log && exit 1)
+      - name: Setup DynamoDB Local
+        if: matrix.library == 'TestVectors'
+        uses: rrainn/[email protected]
+        with:
+          port: 8000
+          cors: "*"
 
       - uses: actions/checkout@v3
         with: