Skip to content

Commit

Permalink
chore(deps): bump dafny-lang/setup-dafny-action in /.github/workflows
Browse files Browse the repository at this point in the history
Bumps [dafny-lang/setup-dafny-action](https://github.com/dafny-lang/setup-dafny-action) from 1.7.0 to 1.7.1.
- [Release notes](https://github.com/dafny-lang/setup-dafny-action/releases)
- [Commits](dafny-lang/setup-dafny-action@v1.7.0...v1.7.1)

---
updated-dependencies:
- dependency-name: dafny-lang/setup-dafny-action
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
dependabot[bot] authored Jul 15, 2024
1 parent b2f70ca commit 18af929
Show file tree
Hide file tree
Showing 10 changed files with 10 additions and 10 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/ci_codegen.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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/[email protected].0
uses: dafny-lang/[email protected].1
with:
dafny-version: ${{ inputs.dafny }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci_examples_java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,7 @@ jobs:
java-version: ${{ matrix.java-version }}

- name: Setup Dafny
uses: dafny-lang/[email protected].0
uses: dafny-lang/[email protected].1
with:
dafny-version: ${{ inputs.dafny }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci_examples_net.yml
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ jobs:
dotnet-version: ${{ matrix.dotnet-version }}

- name: Setup Dafny
uses: dafny-lang/[email protected].0
uses: dafny-lang/[email protected].1
with:
dafny-version: ${{ inputs.dafny }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci_test_java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@ jobs:
submodules: recursive

- name: Setup Dafny
uses: dafny-lang/[email protected].0
uses: dafny-lang/[email protected].1
with:
dafny-version: ${{ inputs.dafny }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci_test_net.yml
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@ jobs:
dotnet-version: ${{ matrix.dotnet-version }}

- name: Setup Dafny
uses: dafny-lang/[email protected].0
uses: dafny-lang/[email protected].1
with:
dafny-version: ${{ inputs.dafny }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci_test_vector_java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ jobs:
submodules: recursive

- name: Setup Dafny
uses: dafny-lang/[email protected].0
uses: dafny-lang/[email protected].1
with:
dafny-version: ${{ inputs.dafny }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci_test_vector_net.yml
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@ jobs:
submodules: recursive

- name: Setup Dafny
uses: dafny-lang/[email protected].0
uses: dafny-lang/[email protected].1
with:
dafny-version: ${{ inputs.dafny }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/library_dafny_verification.yml
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@ jobs:
submodules: recursive

- name: Setup Dafny
uses: dafny-lang/[email protected].0
uses: dafny-lang/[email protected].1
with:
dafny-version: ${{ inputs.dafny }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/library_format.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ jobs:
submodules: recursive

- name: Setup Dafny
uses: dafny-lang/[email protected].0
uses: dafny-lang/[email protected].1
with:
dafny-version: ${{ '4.2.0' }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/test_vector_verification.yml
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ jobs:
submodules: recursive

- name: Setup Dafny
uses: dafny-lang/[email protected].0
uses: dafny-lang/[email protected].1
with:
dafny-version: ${{ inputs.dafny }}

Expand Down

0 comments on commit 18af929

Please sign in to comment.