Commit c3b736e

authored

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

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

1 parent becbd0a commit c3b736eCopy full SHA for c3b736e

File tree

-2

lines changed

-2

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -73,7 +73,7 @@ jobs:`
`73`	`73`	`# dafny-reportgenerator requires next6`
`74`	`74`	`# but only 7.0 is installed on macos-12-large`
`75`	`75`	`- name: Setup .NET Core SDK '6.0.x'`
`76`		`- uses: actions/setup-dotnet@v3`
	`76`	`+ uses: actions/setup-dotnet@v4`
`77`	`77`	`with:`
`78`	`78`	`dotnet-version: "6.0.x"`
`79`	`79`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ jobs:`
`64`	`64`	`# dafny-reportgenerator requires next6`
`65`	`65`	`# but only 7.0 is installed on macos-12-large`
`66`	`66`	`- name: Setup .NET Core SDK '6.0.x'`
`67`		`- uses: actions/setup-dotnet@v3`
	`67`	`+ uses: actions/setup-dotnet@v4`
`68`	`68`	`with:`
`69`	`69`	`dotnet-version: "6.0.x"`
`70`	`70`

Comments

(0)