Skip to content

chore: update .NET local tools#258

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
chore/update-dotnet-tools
Open

chore: update .NET local tools#258
github-actions[bot] wants to merge 1 commit into
mainfrom
chore/update-dotnet-tools

Conversation

@github-actions

@github-actions github-actions Bot commented Jun 8, 2026

Copy link
Copy Markdown
Contributor

Automated update of local .NET tools defined in .config/dotnet-tools.json.

@github-actions github-actions Bot added the dependencies Pull requests that update a dependency file label Jun 8, 2026
Copilot AI review requested due to automatic review settings June 29, 2026 07:03
@github-actions github-actions Bot force-pushed the chore/update-dotnet-tools branch from a14b01b to 468a783 Compare June 29, 2026 07:03

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot can't review bot-authored pull requests automatically. A user with Copilot access can request a review manually.

@github-actions github-actions Bot force-pushed the chore/update-dotnet-tools branch from 468a783 to bfa23ef Compare July 1, 2026 06:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants