Skip to content

[source build] cloak the spectre-console/docs folder#3146

Merged
MichaelSimons merged 3 commits intomainfrom
dev/peppers/spectre.console-docs
Oct 29, 2025
Merged

[source build] cloak the spectre-console/docs folder#3146
MichaelSimons merged 3 commits intomainfrom
dev/peppers/spectre.console-docs

Conversation

@jonathanpeppers
Copy link
Member

Context: dotnet/source-build-reference-packages#1447
Context: dotnet/source-build-reference-packages#1287 (comment)

The docs folder contains binary files, that are not needed for building from source.

Context: dotnet/source-build-reference-packages#1447
Context: dotnet/source-build-reference-packages#1287 (comment)

The docs folder contains binary files, that are not needed for building from source.
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 adds an exclusion pattern to the source-build-reference-packages configuration to prevent undesired binaries from being included in the build process.

  • Adds an exclude array to the source-build-reference-packages entry
  • Excludes documentation files from the spectre-console external package directory

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

jonathanpeppers and others added 2 commits October 29, 2025 09:59
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Michael Simons <msimons@microsoft.com>
@akoeplinger akoeplinger enabled auto-merge (squash) October 29, 2025 15:02
@MichaelSimons
Copy link
Member

Merging ahead of validation as it won't actually validate the source-mappings.

@MichaelSimons MichaelSimons merged commit 6ca513d into main Oct 29, 2025
2 of 10 checks passed
@MichaelSimons MichaelSimons deleted the dev/peppers/spectre.console-docs branch October 29, 2025 15:07
MichaelSimons added a commit to MichaelSimons/dotnet that referenced this pull request Oct 29, 2025
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Michael Simons <msimons@microsoft.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants