Skip to content

Add Fedora 43 image for source-build#1567

Merged
MichaelSimons merged 5 commits intomainfrom
copilot/add-fedora-43-image
Dec 11, 2025
Merged

Add Fedora 43 image for source-build#1567
MichaelSimons merged 5 commits intomainfrom
copilot/add-fedora-43-image

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Dec 11, 2025

  • Create Fedora 43 directory structure (src/fedora/43/amd64/)
  • Create Dockerfile for Fedora 43 based on Fedora 41 from commit 778c786
  • Update Fedora manifest.json with correct tag (fedora-43-amd64)
  • Verify directory structure matches Fedora 41 pattern
  • Build and validate the new image locally
  • Address code review feedback (remove duplicate jq package)
  • Remove short tag name to match current repository convention
  • Run security scanning (CodeQL)
  • All tasks completed successfully
Original prompt

This section details on the original issue you should resolve

<issue_title>Add Fedora 43 image for source-build</issue_title>
<issue_description>Related to dotnet/dotnet#3835.

The Fedora 41 image removed in #1551 should be brought back and upgraded to Fedora 43.</issue_description>

Comments on the Issue (you are @copilot in this section)


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Copilot AI and others added 3 commits December 11, 2025 20:50
Co-authored-by: MichaelSimons <8290530+MichaelSimons@users.noreply.github.com>
Co-authored-by: MichaelSimons <8290530+MichaelSimons@users.noreply.github.com>
Co-authored-by: MichaelSimons <8290530+MichaelSimons@users.noreply.github.com>
Comment thread src/fedora/manifest.json Outdated
Copilot AI changed the title [WIP] Add Fedora 43 image for source-build Add Fedora 43 image for source-build Dec 11, 2025
Copilot AI requested a review from MichaelSimons December 11, 2025 21:02
Co-authored-by: MichaelSimons <8290530+MichaelSimons@users.noreply.github.com>
@MichaelSimons MichaelSimons marked this pull request as ready for review December 11, 2025 21:34
@MichaelSimons MichaelSimons requested review from a team as code owners December 11, 2025 21:34
@MichaelSimons MichaelSimons merged commit 79b1e1a into main Dec 11, 2025
12 checks passed
@MichaelSimons MichaelSimons deleted the copilot/add-fedora-43-image branch December 11, 2025 21:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add Fedora 43 image for source-build

3 participants