Skip to content

chore(deps): bump pinned development tooling versions#1080

Merged
JayVDZ merged 2 commits into
mainfrom
automation/tooling-pin-updates
Jul 21, 2026
Merged

chore(deps): bump pinned development tooling versions#1080
JayVDZ merged 2 commits into
mainfrom
automation/tooling-pin-updates

Conversation

@jim-automation

Copy link
Copy Markdown
Contributor

Newer versions of development tooling pinned outside any Dependabot-readable
manifest (.devcontainer/setup.sh, .mcp.json) are available upstream. Raised
for evaluation by the tooling-pin-check workflow. Where a tool is pinned in
more than one file, every location has been moved to the same version.

Tool Pinned Available Files
dotnet-ef 10.0.9 10.0.10 .devcontainer/setup.sh

Newer versions of development tooling pinned outside any Dependabot-readable
manifest (.devcontainer/setup.sh, .mcp.json) are available upstream. Raised
for evaluation by the tooling-pin-check workflow. Where a tool is pinned in
more than one file, every location has been moved to the same version.

| Tool | Pinned | Available | Files |
| --- | --- | --- | --- |
| `dotnet-ef` | 10.0.9 | 10.0.10 | .devcontainer/setup.sh |
@jim-automation jim-automation Bot added the dependencies Pull requests that update a dependency file label Jul 21, 2026
@JayVDZ
JayVDZ merged commit 773a5a4 into main Jul 21, 2026
17 checks passed
@JayVDZ
JayVDZ deleted the automation/tooling-pin-updates branch July 21, 2026 09:36
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.

1 participant