Skip to content

Commit

Permalink
Merge branch 'main' into dependabot/github_actions/dot-github/workflo…
Browse files Browse the repository at this point in the history
…ws/dafny-lang/setup-dafny-action-1.7.1
  • Loading branch information
ajewellamz authored Jul 26, 2024
2 parents 3af5e0b + c3b736e commit 9403cc8
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/library_dafny_verification.yml
Original file line number Diff line number Diff line change
Expand Up @@ -73,7 +73,7 @@ jobs:
# dafny-reportgenerator requires next6
# but only 7.0 is installed on macos-12-large
- name: Setup .NET Core SDK '6.0.x'
uses: actions/setup-dotnet@v3
uses: actions/setup-dotnet@v4
with:
dotnet-version: "6.0.x"

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 @@ -64,7 +64,7 @@ jobs:
# dafny-reportgenerator requires next6
# but only 7.0 is installed on macos-12-large
- name: Setup .NET Core SDK '6.0.x'
uses: actions/setup-dotnet@v3
uses: actions/setup-dotnet@v4
with:
dotnet-version: "6.0.x"

Expand Down

0 comments on commit 9403cc8

Please sign in to comment.