feat: dotnet examples #31

	# 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: [
	# TODO windows-latest,
	# ubuntu-latest,
	macos-latest,
	]
	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@v3
	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@v2
	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

Provide feedback