From cee245530cfc2efb86d4ece5136b2f9a2179a353 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Mon, 26 Aug 2024 13:30:59 -0700 Subject: [PATCH 1/2] chore: add ddb local to dafny interop test vectors --- .github/workflows/dafny_interop_test_vector_net.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml index 6d8127afa2..5f4afa009a 100644 --- a/.github/workflows/dafny_interop_test_vector_net.yml +++ b/.github/workflows/dafny_interop_test_vector_net.yml @@ -33,6 +33,11 @@ jobs: DOTNET_CLI_TELEMETRY_OPTOUT: 1 DOTNET_NOLOGO: 1 steps: + - name: Setup DynamoDB Local + uses: rrainn/dynamodb-action@v4.0.0 + with: + port: 8000 + cors: "*" - name: Support longpaths on Git checkout run: | git config --global core.longpaths true From 11ec8846e01cbc34002528763640c8e4c91ca9dd Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Mon, 26 Aug 2024 13:37:21 -0700 Subject: [PATCH 2/2] bump setup-dafny --- .github/workflows/ci_codegen.yml | 2 +- .github/workflows/ci_examples_java.yml | 2 +- .github/workflows/ci_examples_net.yml | 2 +- .github/workflows/ci_test_java.yml | 2 +- .github/workflows/ci_test_net.yml | 2 +- .github/workflows/ci_test_vector_java.yml | 2 +- .github/workflows/ci_test_vector_net.yml | 2 +- .github/workflows/dafny_interop_examples_java.yml | 4 ++-- .github/workflows/dafny_interop_examples_net.yml | 4 ++-- .github/workflows/dafny_interop_java.yml | 4 ++-- .github/workflows/dafny_interop_test_net.yml | 4 ++-- .github/workflows/dafny_interop_test_vector_java.yml | 4 ++-- .github/workflows/dafny_interop_test_vector_net.yml | 4 ++-- .github/workflows/library_dafny_verification.yml | 2 +- .github/workflows/library_format.yml | 2 +- .github/workflows/test_vector_verification.yml | 2 +- 16 files changed, 22 insertions(+), 22 deletions(-) diff --git a/.github/workflows/ci_codegen.yml b/.github/workflows/ci_codegen.yml index cb04c3af88..5426d87774 100644 --- a/.github/workflows/ci_codegen.yml +++ b/.github/workflows/ci_codegen.yml @@ -38,7 +38,7 @@ jobs: # and to translate version strings such as "nightly-latest" # to an actual DAFNY_VERSION. - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_examples_java.yml b/.github/workflows/ci_examples_java.yml index 63114b4d7e..08e1b30b4f 100644 --- a/.github/workflows/ci_examples_java.yml +++ b/.github/workflows/ci_examples_java.yml @@ -53,7 +53,7 @@ jobs: java-version: ${{ matrix.java-version }} - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_examples_net.yml b/.github/workflows/ci_examples_net.yml index ed6c953a37..f9f4582878 100644 --- a/.github/workflows/ci_examples_net.yml +++ b/.github/workflows/ci_examples_net.yml @@ -46,7 +46,7 @@ jobs: dotnet-version: ${{ matrix.dotnet-version }} - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_test_java.yml b/.github/workflows/ci_test_java.yml index b36eb989af..e64e268739 100644 --- a/.github/workflows/ci_test_java.yml +++ b/.github/workflows/ci_test_java.yml @@ -47,7 +47,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml index f3145f4a5c..6656e3060b 100644 --- a/.github/workflows/ci_test_net.yml +++ b/.github/workflows/ci_test_net.yml @@ -47,7 +47,7 @@ jobs: dotnet-version: ${{ matrix.dotnet-version }} - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_test_vector_java.yml b/.github/workflows/ci_test_vector_java.yml index 4e793163e7..08cb684b93 100644 --- a/.github/workflows/ci_test_vector_java.yml +++ b/.github/workflows/ci_test_vector_java.yml @@ -56,7 +56,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_test_vector_net.yml b/.github/workflows/ci_test_vector_net.yml index dea03fc6a2..a06af88df9 100644 --- a/.github/workflows/ci_test_vector_net.yml +++ b/.github/workflows/ci_test_vector_net.yml @@ -52,7 +52,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/dafny_interop_examples_java.yml b/.github/workflows/dafny_interop_examples_java.yml index c691218be2..5e6b02cca3 100644 --- a/.github/workflows/dafny_interop_examples_java.yml +++ b/.github/workflows/dafny_interop_examples_java.yml @@ -47,7 +47,7 @@ jobs: fetch-depth: 0 - name: Setup MPL Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.mpl-dafny }} @@ -74,7 +74,7 @@ jobs: make build_java CORES=$CORES - name: Setup DBESDK Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dbesdk-dafny}} diff --git a/.github/workflows/dafny_interop_examples_net.yml b/.github/workflows/dafny_interop_examples_net.yml index 5fcc96ecef..245cada7e5 100644 --- a/.github/workflows/dafny_interop_examples_net.yml +++ b/.github/workflows/dafny_interop_examples_net.yml @@ -47,7 +47,7 @@ jobs: dotnet-version: ${{ matrix.dotnet-version }} - name: Setup MPL Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.mpl-dafny }} @@ -81,7 +81,7 @@ jobs: make transpile_net CORES=$CORES - name: Setup DBESDK Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dbesdk-dafny}} diff --git a/.github/workflows/dafny_interop_java.yml b/.github/workflows/dafny_interop_java.yml index 75036f78d8..90fa6322e6 100644 --- a/.github/workflows/dafny_interop_java.yml +++ b/.github/workflows/dafny_interop_java.yml @@ -47,7 +47,7 @@ jobs: fetch-depth: 0 - name: Setup MPL Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.mpl-dafny }} @@ -74,7 +74,7 @@ jobs: make build_java CORES=$CORES - name: Setup DBESDK Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dbesdk-dafny}} diff --git a/.github/workflows/dafny_interop_test_net.yml b/.github/workflows/dafny_interop_test_net.yml index 276db70a74..07f2ede8a7 100644 --- a/.github/workflows/dafny_interop_test_net.yml +++ b/.github/workflows/dafny_interop_test_net.yml @@ -47,7 +47,7 @@ jobs: dotnet-version: ${{ matrix.dotnet-version }} - name: Setup MPL Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.mpl-dafny }} @@ -81,7 +81,7 @@ jobs: make transpile_net CORES=$CORES - name: Setup DBESDK Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dbesdk-dafny}} diff --git a/.github/workflows/dafny_interop_test_vector_java.yml b/.github/workflows/dafny_interop_test_vector_java.yml index 3a4bb46365..57f5f57abd 100644 --- a/.github/workflows/dafny_interop_test_vector_java.yml +++ b/.github/workflows/dafny_interop_test_vector_java.yml @@ -56,7 +56,7 @@ jobs: fetch-depth: 0 - name: Setup MPL Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.mpl-dafny }} @@ -84,7 +84,7 @@ jobs: make mvn_local_deploy - name: Setup DBESDK Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dbesdk-dafny}} diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml index 5f4afa009a..33d45ebb76 100644 --- a/.github/workflows/dafny_interop_test_vector_net.yml +++ b/.github/workflows/dafny_interop_test_vector_net.yml @@ -52,7 +52,7 @@ jobs: dotnet-version: ${{ matrix.dotnet-version }} - name: Setup MPL Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.mpl-dafny }} @@ -86,7 +86,7 @@ jobs: make transpile_net CORES=$CORES - name: Setup DBESDK Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dbesdk-dafny}} diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml index 350f08fc13..b1803683de 100644 --- a/.github/workflows/library_dafny_verification.yml +++ b/.github/workflows/library_dafny_verification.yml @@ -53,7 +53,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/library_format.yml b/.github/workflows/library_format.yml index 1b4b8f59d9..af4af2ed24 100644 --- a/.github/workflows/library_format.yml +++ b/.github/workflows/library_format.yml @@ -37,7 +37,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ '4.2.0' }} diff --git a/.github/workflows/test_vector_verification.yml b/.github/workflows/test_vector_verification.yml index 4d3ef84069..aa4a488dc0 100644 --- a/.github/workflows/test_vector_verification.yml +++ b/.github/workflows/test_vector_verification.yml @@ -43,7 +43,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.2 + uses: dafny-lang/setup-dafny-action@v1.8.0 with: dafny-version: ${{ inputs.dafny }}