[bug-hunter] Make speaker profile merges atomic#1546
Closed
r3dbars wants to merge 4 commits into
Closed
Conversation
Owner
Author
|
Repair pushed at Review fixes:
Proof:
Keeping this PR draft because the Settings speaker-merge UI/manual gate is still unproven. |
Owner
Author
|
Fresh SwiftPM CI failure repaired at What failed:
Fix:
Proof on exact head before push:
Keeping this PR draft: the Settings speaker-merge UI path still needs the stated manual proof before it is merge-ready. |
This was referenced Jul 18, 2026
Owner
Author
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Proof
bash build-deps.sh --forcebash build.sh --no-openbash run-integration-smoke.shswift test(768 passed, 13 external-fixture skips)bash run-tests.sh(13,189 passed)git diff --checkManual boundary
The Settings speaker-merge flow was not exercised manually.