Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Dec 9, 2025

Updates the Debian container image from debian-12-gcc15-amd64 to debian-13-gcc15-amd64 across pipeline configuration and documentation.

Modified files:

  • eng/pipelines/common/templates/pipeline-with-resources.yml - Container definition and image reference
  • eng/pipelines/common/platform-matrix.yml - Container name reference in build matrix
  • docs/workflow/using-docker.md - Documentation table entry

Internal build infrastructure update. The Debian 13 image with GCC15 is already available in the container registry.

Original prompt

On pipeline-with-resources.yml, Please apply this PR to this change.

#122305


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Copilot AI changed the title [WIP] Apply changes from PR 122305 to pipeline-with-resources.yml Apply PR #122305: Update Docker image from Debian 12 to Debian 13 with GCC15 Dec 9, 2025
Copilot AI requested a review from richlander December 9, 2025 00:57
@richlander richlander marked this pull request as ready for review December 9, 2025 01:15
Copilot AI review requested due to automatic review settings December 9, 2025 01:15
@richlander richlander added Servicing-approved Approved for servicing release area-Infrastructure labels Dec 9, 2025
@dotnet-policy-service
Copy link
Contributor

Tagging subscribers to this area: @dotnet/runtime-infrastructure
See info in area-owners.md if you want to be subscribed.

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR updates the Docker container image from Debian 12 to Debian 13 with GCC15 across the build pipeline configuration and documentation. This is an infrastructure update to use a newer Debian base image that's already available in the container registry.

  • Updates container definition and image reference from debian-12-gcc15-amd64 to debian-13-gcc15-amd64
  • Updates all references to the container across pipeline files
  • Updates documentation to reflect the new image version

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File Description
eng/pipelines/common/templates/pipeline-with-resources.yml Updates container name and image URL from Debian 12 to Debian 13
eng/pipelines/common/platform-matrix.yml Updates container reference used in GCC Linux x64 build configuration
docs/workflow/using-docker.md Updates documentation table entry to reflect Debian 13 image

@rbhanda rbhanda added this to the 10.0.2 milestone Dec 9, 2025
@jkotas jkotas changed the title Apply PR #122305: Update Docker image from Debian 12 to Debian 13 with GCC15 [release/10.0] Update Docker image from Debian 12 to Debian 13 with GCC15 Dec 9, 2025
@richlander
Copy link
Member

/ba-g "Unrelated Windows and macOS issues"

@richlander richlander merged commit f808bc2 into release/10.0 Dec 9, 2025
136 of 169 checks passed
@jkotas jkotas deleted the copilot/apply-pr-122305-changes branch December 22, 2025 05:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area-Infrastructure Servicing-approved Approved for servicing release

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants