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 a945c13

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 a1427e0 commit a945c13

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

‎.github/workflows/test_vector_verification.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ jobs:
4141
# dafny-reportgenerator requires next6
4242
# but only 7.0 is installed on macos-12-large
4343
- name: Setup .NET Core SDK '6.0.x'
44-
uses: actions/setup-dotnet@v3
44+
uses: actions/setup-dotnet@v4
4545
with:
4646
dotnet-version: "6.0.x"
4747

0 commit comments

Comments
(0)

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