Skip to content

New version: Sourcegraph.Amp version 0.0.1778900741-gd9af82#375285

Merged
microsoft-github-policy-service[bot] merged 1 commit into
microsoft:masterfrom
SpecterShell:Sourcegraph.Amp-0.0.1778900741-gd9af82-54040984
May 16, 2026
Merged

New version: Sourcegraph.Amp version 0.0.1778900741-gd9af82#375285
microsoft-github-policy-service[bot] merged 1 commit into
microsoft:masterfrom
SpecterShell:Sourcegraph.Amp-0.0.1778900741-gd9af82-54040984

Conversation

@spectopo
Copy link
Copy Markdown
Contributor

@spectopo spectopo commented May 16, 2026

Automated by 🥟 SpecterShell/Dumplings in workflow run #22652.

Microsoft Reviewers: Open in CodeFlow

@wingetbot
Copy link
Copy Markdown
Collaborator

Validation Pipeline Run WinGetSvc-Validation-142-375285-20260516-1

@wingetbot wingetbot added the Internal-Error An unidentified error occurred in the validation pipeline label May 16, 2026
@microsoft-github-policy-service microsoft-github-policy-service Bot added Needs-Attention This work item needs to be reviewed by a member of the core team. Validation-Guide Something happened during validation. Provide the guide. labels May 16, 2026
@wingetbot
Copy link
Copy Markdown
Collaborator

@wingetbot run

@wingetbot
Copy link
Copy Markdown
Collaborator

Validation Pipeline Run WinGetSvc-Validation-142-375285-20260516-2

@microsoft-github-policy-service microsoft-github-policy-service Bot removed Internal-Error An unidentified error occurred in the validation pipeline Needs-Attention This work item needs to be reviewed by a member of the core team. labels May 16, 2026
@wingetbot wingetbot added New-Manifest Azure-Pipeline-Passed Validation pipeline passed. There may still be manual validation requirements. Validation-Completed Validation passed labels May 16, 2026
@microsoft-github-policy-service microsoft-github-policy-service Bot enabled auto-merge (squash) May 16, 2026 07:59
@stephengillie stephengillie added the Moderator-Approved One of the Moderators has reviewed and approved this PR label May 16, 2026
@microsoft-github-policy-service microsoft-github-policy-service Bot merged commit 8fb6c62 into microsoft:master May 16, 2026
1 check passed
@spectopo spectopo deleted the Sourcegraph.Amp-0.0.1778900741-gd9af82-54040984 branch May 16, 2026 08:32
@wingetbot
Copy link
Copy Markdown
Collaborator

Publish pipeline succeeded for this Pull Request. Once you refresh your index, this change should be present.

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

Labels

Azure-Pipeline-Passed Validation pipeline passed. There may still be manual validation requirements. Moderator-Approved One of the Moderators has reviewed and approved this PR New-Manifest Publish-Pipeline-Succeeded Validation-Completed Validation passed Validation-Guide Something happened during validation. Provide the guide.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants