Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit 3a3ebc0

Browse files
chore(deps): bump actions/setup-dotnet from 3 to 4 in /.github/workflows
Bumps [actions/setup-dotnet](https://github.com/actions/setup-dotnet) from 3 to 4. - [Release notes](https://github.com/actions/setup-dotnet/releases) - [Commits](actions/setup-dotnet@v3...v4) --- updated-dependencies: - dependency-name: actions/setup-dotnet dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>
1 parent 31c6b98 commit 3a3ebc0

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

‎.github/workflows/library_dafny_verification.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ jobs:
7373
# dafny-reportgenerator requires next6
7474
# but only 7.0 is installed on macos-12-large
7575
- name: Setup .NET Core SDK '6.0.x'
76-
uses: actions/setup-dotnet@v3
76+
uses: actions/setup-dotnet@v4
7777
with:
7878
dotnet-version: "6.0.x"
7979

‎.github/workflows/test_vector_verification.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ jobs:
6464
# dafny-reportgenerator requires next6
6565
# but only 7.0 is installed on macos-12-large
6666
- name: Setup .NET Core SDK '6.0.x'
67-
uses: actions/setup-dotnet@v3
67+
uses: actions/setup-dotnet@v4
6868
with:
6969
dotnet-version: "6.0.x"
7070

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /