Commit 17dbd18

dependabot[bot]ajewellamz

authored and

committed

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

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

1 parent 2e8aa63 commit 17dbd18Copy full SHA for 17dbd18

File tree

-3

lines changed

-3

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ jobs:`
`33`	`33`	`submodules: recursive`
`34`	`34`
`35`	`35`	`- name: Setup .NET Core SDK ${{ matrix.dotnet-version }}`
`36`		`- uses: actions/setup-dotnet@v3`
	`36`	`+ uses: actions/setup-dotnet@v4`
`37`	`37`	`with:`
`38`	`38`	`dotnet-version: ${{ matrix.dotnet-version }}`
`39`	`39`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -55,7 +55,7 @@ jobs:`
`55`	`55`	`submodules: recursive`
`56`	`56`
`57`	`57`	`- name: Setup .NET Core SDK ${{ matrix.dotnet-version }}`
`58`		`- uses: actions/setup-dotnet@v3`
	`58`	`+ uses: actions/setup-dotnet@v4`
`59`	`59`	`with:`
`60`	`60`	`dotnet-version: ${{ matrix.dotnet-version }}`
`61`	`61`

Lines changed: 1 addition & 1 deletion

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

Comments

(0)