Skip to content

chore(deps): bump software.amazon.awssdk:core from 2.24.7 to 2.26.16 in /TestVectors/runtimes/java #1116

chore(deps): bump software.amazon.awssdk:core from 2.24.7 to 2.26.16 in /TestVectors/runtimes/java

chore(deps): bump software.amazon.awssdk:core from 2.24.7 to 2.26.16 in /TestVectors/runtimes/java #1116

Workflow file for this run

# This workflow performs tests in .NET.
name: dotnet examples
on:
pull_request:
push:
branches:
- main
jobs:
dotNetExamples:
# Don't run the nightly build on forks
if: (github.repository_owner == 'aws')
strategy:
matrix:
library: [DynamoDbEncryption]
dotnet-version: ["6.0.x"]
os: [macos-12]
runs-on: ${{ matrix.os }}
permissions:
id-token: write
contents: read
env:
DOTNET_CLI_TELEMETRY_OPTOUT: 1
DOTNET_NOLOGO: 1
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
- name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
uses: actions/setup-dotnet@v4
with:
dotnet-version: ${{ matrix.dotnet-version }}
- name: Setup Dafny
uses: dafny-lang/[email protected]
with:
dafny-version: ${{ '4.2.0' }}
- name: Download Dependencies
working-directory: ./${{ matrix.library }}
run: make setup_net
- 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-Net-Tests
- name: Compile ${{ matrix.library }} implementation
shell: bash
working-directory: ./${{ matrix.library }}
run: |
# This works because `node` is installed by default on GHA runners
CORES=$(node -e 'console.log(os.cpus().length)')
make transpile_net CORES=$CORES
- name: Run Examples
working-directory: ./Examples/runtimes/net
shell: bash
run: |
dotnet run