Skip to content

New version: Erlang.ErlangOTP version 27.3.3 #248951

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
microsoft-github-policy-service merged 1 commit into from
Apr 17, 2025
Merged

New version: Erlang.ErlangOTP version 27.3.3 #248951

microsoft-github-policy-service merged 1 commit into from
Apr 17, 2025
+59 −0

Conversation

@vedantmgoyal9
Copy link
Contributor

@vedantmgoyal9 vedantmgoyal9 commented Apr 16, 2025 •
edited by microsoft-github-policy-service bot
Loading

Checklist for Pull Requests

Manifests

  • Have you checked that there aren't other open pull requests for the same manifest update/change?
  • This PR only modifies one (1) manifest
  • Have you validated your manifest locally with winget validate --manifest <path>?
  • Have you tested your manifest locally with winget install --manifest <path>?
  • Does your manifest conform to the 1.10 schema?

Note: <path> is the directory's name containing the manifest you're submitting.

Microsoft Reviewers: Open in CodeFlow

@wingetbot
Copy link
Collaborator

wingetbot commented Apr 16, 2025

Service Badge  Service Badge  

@wingetbot
Copy link
Collaborator

wingetbot commented Apr 16, 2025

Validation Pipeline Run WinGetSvc-Validation-57-248951-20250416-1

@wingetbot wingetbot added the Internal-Error An unidentified error occurred in the validation pipeline label Apr 16, 2025
@microsoft-github-policy-service microsoft-github-policy-service bot added the Needs-Attention This work item needs to be reviewed by a member of the core team. label Apr 16, 2025
@stephengillie
Copy link
Collaborator

stephengillie commented Apr 17, 2025

@wingetbot run

@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 Apr 17, 2025
@wingetbot
Copy link
Collaborator

wingetbot commented Apr 17, 2025

Validation Pipeline Run WinGetSvc-Validation-57-248951-20250417-1

@wingetbot wingetbot added New-Manifest Azure-Pipeline-Passed Validation pipeline passed. There may still be manual validation requirements. Validation-Completed Validation passed labels Apr 17, 2025
@microsoft-github-policy-service microsoft-github-policy-service bot enabled auto-merge (squash) April 17, 2025 03:44
@microsoft-github-policy-service microsoft-github-policy-service bot added the Moderator-Approved One of the Moderators has reviewed and approved this PR label Apr 17, 2025
@microsoft-github-policy-service microsoft-github-policy-service bot merged commit 171c820 into microsoft:master Apr 17, 2025
1 check passed
@wingetbot
Copy link
Collaborator

wingetbot commented Apr 17, 2025

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

@ItzLevvie ItzLevvie deleted the Erlang.ErlangOTP-27.3.3-602e6427-f7ff-4e41-9b8f-78040d940ca5 branch May 4, 2025 17:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@microsoft-github-policy-service microsoft-github-policy-service[bot] microsoft-github-policy-service[bot] approved these changes

@stephengillie stephengillie stephengillie approved these changes

Assignees

No one assigned

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

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@vedantmgoyal9 @wingetbot @stephengillie