Commit f5d9748

authored

chore(deps): bump actions/setup-dotnet from 3 to 4 in /.github/workflows (#943)

Bumps [actions/setup-dotnet](https://github.com/actions/setup-dotnet) from 3 to 4.

1 parent 785481c commit f5d9748Copy full SHA for f5d9748

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -45,7 +45,7 @@ jobs:`
`45`	`45`	`dafny-version: 4.2.0`
`46`	`46`
`47`	`47`	`- name: Setup .NET Core SDK ${{ matrix.dotnet-version }}`
`48`		`- uses: actions/setup-dotnet@v3`
	`48`	`+ uses: actions/setup-dotnet@v4`
`49`	`49`	`with:`
`50`	`50`	`dotnet-version: ${{ matrix.dotnet-version }}`
`51`	`51`

Comments

(0)