m

Author: ajewellamz

.github/workflows/dafny_interop_test_vector_java.yml

@@ -58,7 +58,7 @@ jobs:
       - name: Start DynamoDB Local
         run: |
           java -Djava.library.path=./DynamoDBLocal_lib -jar DynamoDBLocal.jar \
-            -inMemory -sharedDb -port 8000 -noAuth > dynamodb-local.log 2>&1 &
+            -inMemory -sharedDb -port 8000 > dynamodb-local.log 2>&1 &
           echo $! > dynamodb-local.pid
 
       - name: Wait for DynamoDB Local
@@ -72,10 +72,12 @@ jobs:
             echo "Attempt $i: DynamoDB Local not ready yet..."
             sleep 2
           done
-          # Verify it's actually working
+          # Verify it's actually working with dummy credentials
           curl -X POST http://localhost:8000 \
             -H "Content-Type: application/x-amz-json-1.0" \
             -H "X-Amz-Target: DynamoDB_20120810.ListTables" \
+            -H "Authorization: AWS4-HMAC-SHA256 Credential=dummy/20230101/us-east-1/dynamodb/aws4_request, SignedHeaders=host;x-amz-date, Signature=dummy" \
+            -H "X-Amz-Date: 20230101T000000Z" \
             -d '{}' || (cat dynamodb-local.log && exit 1)
 
       - uses: actions/checkout@v3