Skip to content

add more copilot instructions for verify#15246

Open
SimonCropp wants to merge 3 commits intomicrosoft:mainfrom
SimonCropp:add-more-copilot-instructions-for-verify
Open

add more copilot instructions for verify#15246
SimonCropp wants to merge 3 commits intomicrosoft:mainfrom
SimonCropp:add-more-copilot-instructions-for-verify

Conversation

@SimonCropp
Copy link
Contributor

No description provided.

Copilot AI review requested due to automatic review settings March 14, 2026 11:22
@github-actions
Copy link
Contributor

github-actions bot commented Mar 14, 2026

🚀 Dogfood this PR with:

⚠️ WARNING: Do not do this without first carefully reviewing the code of this PR to satisfy yourself it is safe.

curl -fsSL https://raw.githubusercontent.com/dotnet/aspire/main/eng/scripts/get-aspire-cli-pr.sh | bash -s -- 15246

Or

  • Run remotely in PowerShell:
iex "& { $(irm https://raw.githubusercontent.com/dotnet/aspire/main/eng/scripts/get-aspire-cli-pr.ps1) } 15246"

@dotnet-policy-service dotnet-policy-service bot added the community-contribution Indicates that the PR has been added by a community member label Mar 14, 2026
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

Adds a new Copilot instructions document to guide contributors in diagnosing and resolving Verify-based snapshot test failures within the tests/ tree.

Changes:

  • Introduces .github/instructions/verify-snapshot-testing.instructions.md with guidance on .verified.*/.received.* files, failure handling, and common Verify usage patterns.

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
@mitchdenny
Copy link
Member

Could we do this as a SKILL.md file so its a bit more agent agnostic?

@SimonCropp
Copy link
Contributor Author

@mitchdenny i would really like to see how that would work. i am in the process of trying to make VerifyTest more AI friendly. so any feedback is greatly appreciated

@SimonCropp
Copy link
Contributor Author

@mitchdenny how is that?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

community-contribution Indicates that the PR has been added by a community member

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants