Skip to content

Commit 11ec884

Browse files
josecorellajosecorella
committed
bump setup-dafny
1 parent cee2455 commit 11ec884

16 files changed

+22
-22
lines changed

‎.github/workflows/ci_codegen.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ jobs:
3838
# and to translate version strings such as "nightly-latest"
3939
# to an actual DAFNY_VERSION.
4040
- name: Setup Dafny
41-
uses: dafny-lang/setup-dafny-action@v1.7.2
41+
uses: dafny-lang/setup-dafny-action@v1.8.0
4242
with:
4343
dafny-version: ${{ inputs.dafny }}
4444

‎.github/workflows/ci_examples_java.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ jobs:
5353
java-version: ${{ matrix.java-version }}
5454

5555
- name: Setup Dafny
56-
uses: dafny-lang/setup-dafny-action@v1.7.2
56+
uses: dafny-lang/setup-dafny-action@v1.8.0
5757
with:
5858
dafny-version: ${{ inputs.dafny }}
5959

‎.github/workflows/ci_examples_net.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ jobs:
4646
dotnet-version: ${{ matrix.dotnet-version }}
4747

4848
- name: Setup Dafny
49-
uses: dafny-lang/setup-dafny-action@v1.7.2
49+
uses: dafny-lang/setup-dafny-action@v1.8.0
5050
with:
5151
dafny-version: ${{ inputs.dafny }}
5252

‎.github/workflows/ci_test_java.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ jobs:
4747
submodules: recursive
4848

4949
- name: Setup Dafny
50-
uses: dafny-lang/setup-dafny-action@v1.7.2
50+
uses: dafny-lang/setup-dafny-action@v1.8.0
5151
with:
5252
dafny-version: ${{ inputs.dafny }}
5353

‎.github/workflows/ci_test_net.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ jobs:
4747
dotnet-version: ${{ matrix.dotnet-version }}
4848

4949
- name: Setup Dafny
50-
uses: dafny-lang/setup-dafny-action@v1.7.2
50+
uses: dafny-lang/setup-dafny-action@v1.8.0
5151
with:
5252
dafny-version: ${{ inputs.dafny }}
5353

‎.github/workflows/ci_test_vector_java.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ jobs:
5656
submodules: recursive
5757

5858
- name: Setup Dafny
59-
uses: dafny-lang/setup-dafny-action@v1.7.2
59+
uses: dafny-lang/setup-dafny-action@v1.8.0
6060
with:
6161
dafny-version: ${{ inputs.dafny }}
6262

‎.github/workflows/ci_test_vector_net.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,7 @@ jobs:
5252
submodules: recursive
5353

5454
- name: Setup Dafny
55-
uses: dafny-lang/setup-dafny-action@v1.7.2
55+
uses: dafny-lang/setup-dafny-action@v1.8.0
5656
with:
5757
dafny-version: ${{ inputs.dafny }}
5858

‎.github/workflows/dafny_interop_examples_java.yml

+2-2
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ jobs:
4747
fetch-depth: 0
4848

4949
- name: Setup MPL Dafny
50-
uses: dafny-lang/setup-dafny-action@v1.7.2
50+
uses: dafny-lang/setup-dafny-action@v1.8.0
5151
with:
5252
dafny-version: ${{ inputs.mpl-dafny }}
5353

@@ -74,7 +74,7 @@ jobs:
7474
make build_java CORES=$CORES
7575
7676
- name: Setup DBESDK Dafny
77-
uses: dafny-lang/setup-dafny-action@v1.7.2
77+
uses: dafny-lang/setup-dafny-action@v1.8.0
7878
with:
7979
dafny-version: ${{ inputs.dbesdk-dafny}}
8080

‎.github/workflows/dafny_interop_examples_net.yml

+2-2
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ jobs:
4747
dotnet-version: ${{ matrix.dotnet-version }}
4848

4949
- name: Setup MPL Dafny
50-
uses: dafny-lang/setup-dafny-action@v1.7.2
50+
uses: dafny-lang/setup-dafny-action@v1.8.0
5151
with:
5252
dafny-version: ${{ inputs.mpl-dafny }}
5353

@@ -81,7 +81,7 @@ jobs:
8181
make transpile_net CORES=$CORES
8282
8383
- name: Setup DBESDK Dafny
84-
uses: dafny-lang/setup-dafny-action@v1.7.2
84+
uses: dafny-lang/setup-dafny-action@v1.8.0
8585
with:
8686
dafny-version: ${{ inputs.dbesdk-dafny}}
8787

‎.github/workflows/dafny_interop_java.yml

+2-2
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ jobs:
4747
fetch-depth: 0
4848

4949
- name: Setup MPL Dafny
50-
uses: dafny-lang/setup-dafny-action@v1.7.2
50+
uses: dafny-lang/setup-dafny-action@v1.8.0
5151
with:
5252
dafny-version: ${{ inputs.mpl-dafny }}
5353

@@ -74,7 +74,7 @@ jobs:
7474
make build_java CORES=$CORES
7575
7676
- name: Setup DBESDK Dafny
77-
uses: dafny-lang/setup-dafny-action@v1.7.2
77+
uses: dafny-lang/setup-dafny-action@v1.8.0
7878
with:
7979
dafny-version: ${{ inputs.dbesdk-dafny}}
8080

‎.github/workflows/dafny_interop_test_net.yml

+2-2
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ jobs:
4747
dotnet-version: ${{ matrix.dotnet-version }}
4848

4949
- name: Setup MPL Dafny
50-
uses: dafny-lang/setup-dafny-action@v1.7.2
50+
uses: dafny-lang/setup-dafny-action@v1.8.0
5151
with:
5252
dafny-version: ${{ inputs.mpl-dafny }}
5353

@@ -81,7 +81,7 @@ jobs:
8181
make transpile_net CORES=$CORES
8282
8383
- name: Setup DBESDK Dafny
84-
uses: dafny-lang/setup-dafny-action@v1.7.2
84+
uses: dafny-lang/setup-dafny-action@v1.8.0
8585
with:
8686
dafny-version: ${{ inputs.dbesdk-dafny}}
8787

‎.github/workflows/dafny_interop_test_vector_java.yml

+2-2
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ jobs:
5656
fetch-depth: 0
5757

5858
- name: Setup MPL Dafny
59-
uses: dafny-lang/setup-dafny-action@v1.7.2
59+
uses: dafny-lang/setup-dafny-action@v1.8.0
6060
with:
6161
dafny-version: ${{ inputs.mpl-dafny }}
6262

@@ -84,7 +84,7 @@ jobs:
8484
make mvn_local_deploy
8585
8686
- name: Setup DBESDK Dafny
87-
uses: dafny-lang/setup-dafny-action@v1.7.2
87+
uses: dafny-lang/setup-dafny-action@v1.8.0
8888
with:
8989
dafny-version: ${{ inputs.dbesdk-dafny}}
9090

‎.github/workflows/dafny_interop_test_vector_net.yml

+2-2
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,7 @@ jobs:
5252
dotnet-version: ${{ matrix.dotnet-version }}
5353

5454
- name: Setup MPL Dafny
55-
uses: dafny-lang/setup-dafny-action@v1.7.2
55+
uses: dafny-lang/setup-dafny-action@v1.8.0
5656
with:
5757
dafny-version: ${{ inputs.mpl-dafny }}
5858

@@ -86,7 +86,7 @@ jobs:
8686
make transpile_net CORES=$CORES
8787
8888
- name: Setup DBESDK Dafny
89-
uses: dafny-lang/setup-dafny-action@v1.7.2
89+
uses: dafny-lang/setup-dafny-action@v1.8.0
9090
with:
9191
dafny-version: ${{ inputs.dbesdk-dafny}}
9292

‎.github/workflows/library_dafny_verification.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ jobs:
5353
submodules: recursive
5454

5555
- name: Setup Dafny
56-
uses: dafny-lang/setup-dafny-action@v1.7.2
56+
uses: dafny-lang/setup-dafny-action@v1.8.0
5757
with:
5858
dafny-version: ${{ inputs.dafny }}
5959

‎.github/workflows/library_format.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,7 @@ jobs:
3737
submodules: recursive
3838

3939
- name: Setup Dafny
40-
uses: dafny-lang/setup-dafny-action@v1.7.2
40+
uses: dafny-lang/setup-dafny-action@v1.8.0
4141
with:
4242
dafny-version: ${{ '4.2.0' }}
4343

‎.github/workflows/test_vector_verification.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ jobs:
4343
submodules: recursive
4444

4545
- name: Setup Dafny
46-
uses: dafny-lang/setup-dafny-action@v1.7.2
46+
uses: dafny-lang/setup-dafny-action@v1.8.0
4747
with:
4848
dafny-version: ${{ inputs.dafny }}
4949

0 commit comments

Comments
 (0)