Skip to content

Commit cc831f2

Browse files
committed
m
1 parent 64c81df commit cc831f2

File tree

6 files changed

+120
-28
lines changed

6 files changed

+120
-28
lines changed

.github/workflows/ci_test_go.yml

Lines changed: 20 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -36,16 +36,27 @@ jobs:
3636
id-token: write
3737
contents: read
3838
steps:
39-
- name: Setup Docker
40-
if: matrix.os == 'macos-14' && matrix.library == 'TestVectors'
41-
uses: douglascamata/setup-docker-macos-action@v1-alpha
42-
43-
- name: Setup DynamoDB Local
44-
if: matrix.library == 'TestVectors'
45-
uses: rrainn/[email protected]
39+
- name: Install Java
40+
uses: actions/setup-java@v5
4641
with:
47-
port: 8000
48-
cors: "*"
42+
distribution: "corretto"
43+
java-version: "11" # DynamoDB Local requires Java
44+
45+
- name: Download DynamoDB Local
46+
run: |
47+
wget https://dynamodb-local.s3.amazonaws.com/dynamodb_local_latest.tar.gz
48+
tar -xf dynamodb_local_latest.tar.gz
49+
50+
- name: Start DynamoDB Local
51+
run: java -Djava.library.path=./DynamoDBLocal_lib -jar DynamoDBLocal.jar -sharedDb &
52+
# The & runs the Java process in the background.
53+
54+
- name: Wait for DynamoDB Local
55+
run: |
56+
echo "Waiting for DynamoDB Local to start..."
57+
until curl -s http://localhost:8000; do
58+
sleep 1
59+
done
4960
5061
- name: Support longpaths
5162
run: |

.github/workflows/ci_test_vector_java.yml

Lines changed: 20 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -39,11 +39,27 @@ jobs:
3939
id-token: write
4040
contents: read
4141
steps:
42-
- name: Setup DynamoDB Local
43-
uses: rrainn/[email protected]
42+
- name: Install Java
43+
uses: actions/setup-java@v5
4444
with:
45-
port: 8000
46-
cors: "*"
45+
distribution: "corretto"
46+
java-version: "11" # DynamoDB Local requires Java
47+
48+
- name: Download DynamoDB Local
49+
run: |
50+
wget https://dynamodb-local.s3.amazonaws.com/dynamodb_local_latest.tar.gz
51+
tar -xf dynamodb_local_latest.tar.gz
52+
53+
- name: Start DynamoDB Local
54+
run: java -Djava.library.path=./DynamoDBLocal_lib -jar DynamoDBLocal.jar -sharedDb &
55+
# The & runs the Java process in the background.
56+
57+
- name: Wait for DynamoDB Local
58+
run: |
59+
echo "Waiting for DynamoDB Local to start..."
60+
until curl -s http://localhost:8000; do
61+
sleep 1
62+
done
4763
4864
- name: Configure AWS Credentials
4965
uses: aws-actions/configure-aws-credentials@v4

.github/workflows/ci_test_vector_net.yml

Lines changed: 20 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -35,11 +35,27 @@ jobs:
3535
id-token: write
3636
contents: read
3737
steps:
38-
- name: Setup DynamoDB Local
39-
uses: rrainn/[email protected]
38+
- name: Install Java
39+
uses: actions/setup-java@v5
4040
with:
41-
port: 8000
42-
cors: "*"
41+
distribution: "corretto"
42+
java-version: "11" # DynamoDB Local requires Java
43+
44+
- name: Download DynamoDB Local
45+
run: |
46+
wget https://dynamodb-local.s3.amazonaws.com/dynamodb_local_latest.tar.gz
47+
tar -xf dynamodb_local_latest.tar.gz
48+
49+
- name: Start DynamoDB Local
50+
run: java -Djava.library.path=./DynamoDBLocal_lib -jar DynamoDBLocal.jar -sharedDb &
51+
# The & runs the Java process in the background.
52+
53+
- name: Wait for DynamoDB Local
54+
run: |
55+
echo "Waiting for DynamoDB Local to start..."
56+
until curl -s http://localhost:8000; do
57+
sleep 1
58+
done
4359
4460
- name: Configure AWS Credentials
4561
uses: aws-actions/configure-aws-credentials@v4

.github/workflows/dafny_interop_test_vector_java.yml

Lines changed: 20 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -37,11 +37,27 @@ jobs:
3737
id-token: write
3838
contents: read
3939
steps:
40-
- name: Setup DynamoDB Local
41-
uses: rrainn/[email protected]
40+
- name: Install Java
41+
uses: actions/setup-java@v5
4242
with:
43-
port: 8000
44-
cors: "*"
43+
distribution: "corretto"
44+
java-version: "11" # DynamoDB Local requires Java
45+
46+
- name: Download DynamoDB Local
47+
run: |
48+
wget https://dynamodb-local.s3.amazonaws.com/dynamodb_local_latest.tar.gz
49+
tar -xf dynamodb_local_latest.tar.gz
50+
51+
- name: Start DynamoDB Local
52+
run: java -Djava.library.path=./DynamoDBLocal_lib -jar DynamoDBLocal.jar -sharedDb &
53+
# The & runs the Java process in the background.
54+
55+
- name: Wait for DynamoDB Local
56+
run: |
57+
echo "Waiting for DynamoDB Local to start..."
58+
until curl -s http://localhost:8000; do
59+
sleep 1
60+
done
4561
4662
- name: Configure AWS Credentials
4763
uses: aws-actions/configure-aws-credentials@v4

.github/workflows/dafny_interop_test_vector_net.yml

Lines changed: 21 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -33,11 +33,28 @@ jobs:
3333
DOTNET_CLI_TELEMETRY_OPTOUT: 1
3434
DOTNET_NOLOGO: 1
3535
steps:
36-
- name: Setup DynamoDB Local
37-
uses: rrainn/[email protected]
36+
- name: Install Java
37+
uses: actions/setup-java@v5
3838
with:
39-
port: 8000
40-
cors: "*"
39+
distribution: "corretto"
40+
java-version: "11" # DynamoDB Local requires Java
41+
42+
- name: Download DynamoDB Local
43+
run: |
44+
wget https://dynamodb-local.s3.amazonaws.com/dynamodb_local_latest.tar.gz
45+
tar -xf dynamodb_local_latest.tar.gz
46+
47+
- name: Start DynamoDB Local
48+
run: java -Djava.library.path=./DynamoDBLocal_lib -jar DynamoDBLocal.jar -sharedDb &
49+
# The & runs the Java process in the background.
50+
51+
- name: Wait for DynamoDB Local
52+
run: |
53+
echo "Waiting for DynamoDB Local to start..."
54+
until curl -s http://localhost:8000; do
55+
sleep 1
56+
done
57+
4158
- name: Support longpaths on Git checkout
4259
run: |
4360
git config --global core.longpaths true

.github/workflows/library_rust_tests.yml

Lines changed: 19 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -37,16 +37,16 @@ jobs:
3737
- name: Install Java
3838
uses: actions/setup-java@v5
3939
with:
40-
distribution: 'corretto'
41-
java-version: '11' # DynamoDB Local requires Java
40+
distribution: "corretto"
41+
java-version: "11" # DynamoDB Local requires Java
4242

4343
- name: Download DynamoDB Local
4444
run: |
4545
wget https://dynamodb-local.s3.amazonaws.com/dynamodb_local_latest.tar.gz
4646
tar -xf dynamodb_local_latest.tar.gz
4747

4848
- name: Start DynamoDB Local
49-
run: java -Djava.library.path=./DynamoDBLocal_lib -jar DynamoDBLocal.jar -sharedDb &
49+
run: java -Djava.library.path=./DynamoDBLocal_lib -jar DynamoDBLocal.jar -inMemory -sharedDb &
5050
# The & runs the Java process in the background.
5151

5252
- name: Wait for DynamoDB Local
@@ -127,26 +127,42 @@ jobs:
127127
cp runtimes/java/*.json runtimes/rust/
128128

129129
- name: Test ${{ matrix.library }} Rust
130+
env:
131+
AWS_ACCESS_KEY_ID: 'DUMMY_KEY_ID'
132+
AWS_SECRET_ACCESS_KEY: 'DUMMY_SECRET_KEY'
133+
AWS_ENDPOINT_URL_DYNAMODB: 'http://localhost:8000' # This is key for the Rust SDK
130134
shell: bash
131135
working-directory: ./${{ matrix.library }}
132136
run: |
133137
make test_rust
134138

135139
- name: Test ${{ matrix.library }} Rust Fips
140+
env:
141+
AWS_ACCESS_KEY_ID: 'DUMMY_KEY_ID'
142+
AWS_SECRET_ACCESS_KEY: 'DUMMY_SECRET_KEY'
143+
AWS_ENDPOINT_URL_DYNAMODB: 'http://localhost:8000' # This is key for the Rust SDK
136144
shell: bash
137145
working-directory: ./${{ matrix.library }}/runtimes/rust/
138146
run: |
139147
cargo test --release --features fips -- --nocapture
140148

141149
- name: Test ${{ matrix.library }} Rust Debug
142150
if: ${{ matrix.library != 'TestVectors' }}
151+
env:
152+
AWS_ACCESS_KEY_ID: 'DUMMY_KEY_ID'
153+
AWS_SECRET_ACCESS_KEY: 'DUMMY_SECRET_KEY'
154+
AWS_ENDPOINT_URL_DYNAMODB: 'http://localhost:8000' # This is key for the Rust SDK
143155
shell: bash
144156
working-directory: ./${{ matrix.library }}
145157
run: |
146158
make test_rust test_rust_debug
147159

148160
- name: Test Examples for Rust in ${{ matrix.library }}
149161
if: ${{ matrix.library == 'DynamoDbEncryption' }}
162+
env:
163+
AWS_ACCESS_KEY_ID: 'DUMMY_KEY_ID'
164+
AWS_SECRET_ACCESS_KEY: 'DUMMY_SECRET_KEY'
165+
AWS_ENDPOINT_URL_DYNAMODB: 'http://localhost:8000' # This is key for the Rust SDK
150166
working-directory: ./${{ matrix.library }}/runtimes/rust/
151167
shell: bash
152168
run: |

0 commit comments

Comments
 (0)