Skip to content

chore(deps): bump rrainn/dynamodb-action from 3.0.0 to 4.0.0 in /.github/workflows #1494

chore(deps): bump rrainn/dynamodb-action from 3.0.0 to 4.0.0 in /.github/workflows

chore(deps): bump rrainn/dynamodb-action from 3.0.0 to 4.0.0 in /.github/workflows #1494

# This workflow performs test vectors in Java.
name: Library Java Test Vectors
on:
pull_request:
push:
branches:
- main
jobs:
testJava:
strategy:
matrix:
java-version: [ 8, 11, 16, 17 ]
os: [
# Run on ubuntu image that comes pre-configured with docker
ubuntu-latest
]
runs-on: ${{ matrix.os }}
permissions:
id-token: write
contents: read
steps:
- name: Setup DynamoDB Local
uses: rrainn/[email protected]
with:
port: 8000
cors: '*'
- 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
- uses: actions/checkout@v3
with:
submodules: recursive
- name: Setup Dafny
uses: dafny-lang/[email protected]
with:
dafny-version: '4.2.0'
- name: Setup Java ${{ matrix.java-version }}
uses: actions/setup-java@v4
with:
distribution: 'corretto'
java-version: ${{ matrix.java-version }}
- name: Build TestVectors implementation
shell: bash
working-directory: ./TestVectors
run: |
# This works because `node` is installed by default on GHA runners
CORES=$(node -e 'console.log(os.cpus().length)')
make build_java CORES=$CORES
- name: Test TestVectors
working-directory: ./TestVectors
run: |
make test_java