Skip to content

Add bromine parents #11133

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
merged 2 commits into from
Mar 28, 2025
Merged

Add bromine parents #11133

merged 2 commits into from
Mar 28, 2025

Conversation

BillWagner
Copy link
Member

@BillWagner BillWagner commented Mar 27, 2025 •
edited
Loading

Remove Dilithium parents, update Bromine parents.

@BillWagner
Add bromine parents
980367d 
Remove Selenium parents, update Bromine parents.
@BillWagner BillWagner requested a review from a team as a code owner March 27, 2025 21:37
@github-actions github-actions bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Mar 27, 2025
@BillWagner BillWagner requested a review from gewarren March 27, 2025 21:38
@BillWagner BillWagner enabled auto-merge (squash) March 27, 2025 21:39
@learn-build-service-prod Learn Build Service (PROD)
Copy link

Learn Build status updates of commit 980367d:

✅ Validation status: passed

File Status Preview URL Details
quest-config.json ✅Succeeded

For more details, please refer to the build report.

For any questions, please:

@learn-build-service-prod Learn Build Service (PROD)
Copy link

Learn Build status updates of commit 8489b54:

✅ Validation status: passed

File Status Preview URL Details
quest-config.json ✅Succeeded

For more details, please refer to the build report.

For any questions, please:

@BillWagner BillWagner merged commit 9655d94 into dotnet:main Mar 28, 2025
4 checks passed
@BillWagner BillWagner deleted the bromine-parents branch April 1, 2025 20:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@gewarren gewarren gewarren approved these changes

Assignees

@BillWagner BillWagner

Labels
needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@BillWagner @gewarren