m

Author: ajewellamz

.github/workflows/dafny_interop_test_vector_java.yml

@@ -37,6 +37,13 @@ jobs:
       id-token: write
       contents: read
     steps:
+      - name: Configure AWS Credentials
+        uses: aws-actions/configure-aws-credentials@v4
+        with:
+          aws-region: us-west-2
+          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:
@@ -49,22 +56,27 @@ jobs:
           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.
+        run: |
+          java -Djava.library.path=./DynamoDBLocal_lib -jar DynamoDBLocal.jar \
+            -inMemory -sharedDb -port 8000 > dynamodb-local.log 2>&1 &
+          echo $! > dynamodb-local.pid
 
       - name: Wait for DynamoDB Local
         run: |
           echo "Waiting for DynamoDB Local to start..."
-          until curl -s http://localhost:8000; do
-            sleep 1
+          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
-
-      - name: Configure AWS Credentials
-        uses: aws-actions/configure-aws-credentials@v4
-        with:
-          aws-region: us-west-2
-          role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
-          role-session-name: DDBEC-Dafny-Java-Tests
+          # 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)
 
       - uses: actions/checkout@v3
         with: