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 6d8127afa..5f4afa009 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 cb04c3af8..5426d8777 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 63114b4d7..08e1b30b4 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 ed6c953a3..f9f458287 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 b36eb989a..e64e26873 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 f3145f4a5..6656e3060 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 4e793163e..08cb684b9 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 dea03fc6a..a06af88df 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 c691218be..5e6b02cca 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 5fcc96ece..245cada7e 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 75036f78d..90fa6322e 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 276db70a7..07f2ede8a 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 3a4bb4636..57f5f57ab 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 5f4afa009..33d45ebb7 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 350f08fc1..b1803683d 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 1b4b8f59d..af4af2ed2 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 4d3ef8406..aa4a488dc 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 }}