Skip to content
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

[EngSys] Rename pool from azsdk-pool-x64 to azsdk-pool #33091

Merged
merged 1 commit into from
Mar 8, 2025
Merged

[EngSys] Rename pool from azsdk-pool-x64 to azsdk-pool #33091

merged 1 commit into from
Mar 8, 2025

Conversation

mikeharder
Copy link
Member

No description provided.

@openapi-pipeline-app openapi-pipeline-app
Copy link

openapi-pipeline-app bot commented Mar 8, 2025 •
edited
Loading

Next Steps to Merge

Next steps that must be taken to merge this PR:
  • ❌ The required check named Protected Files has failed. Refer to the check in the PR's 'Checks' tab for details on how to fix it and consult the aka.ms/ci-fix guide

@openapi-pipeline-app openapi-pipeline-app
Copy link

PR validation pipeline started successfully. If there is ApiView generated, it will be updated in this comment.

@mikeharder mikeharder merged commit f6848c9 into Azure:main Mar 8, 2025
33 of 35 checks passed
@mikeharder mikeharder deleted the azsdk-pool branch March 8, 2025 06:21
@mikeharder mikeharder self-assigned this Mar 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@weshaggard weshaggard Awaiting requested review from weshaggard weshaggard is a code owner

@benbp benbp Awaiting requested review from benbp benbp is a code owner

Assignees

@mikeharder mikeharder

Labels
None yet
Projects
Azure SDK EngSys 🤖🧠
Status: 🔬 Dev in PR
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@mikeharder