Skip to content

Conversation

@jahorton
Copy link
Contributor

@jahorton jahorton commented Nov 13, 2025

🚧

Build-bot: skip build:web
Test-bot: skip

@keymanapp-test-bot
Copy link

keymanapp-test-bot bot commented Nov 13, 2025

User Test Results

Test specification and instructions

User tests are not required

Test Artifacts

  • Web
    • KeymanWeb Test Home - build : all tests passed (no artifacts on BuildLevel "build")

@keymanapp-test-bot keymanapp-test-bot bot changed the title feat(web): ensure all child spaces are notified when parent reaches end of a correction path feat(web): ensure all child spaces are notified when parent reaches end of a correction path 🚂 Nov 13, 2025
@keymanapp-test-bot keymanapp-test-bot bot added this to the A19S16 milestone Nov 13, 2025
@keyman-server keyman-server modified the milestones: A19S16, A19S17 Nov 22, 2025
@keyman-server keyman-server modified the milestones: A19S17, A19S18 Dec 6, 2025
@keyman-server keyman-server modified the milestones: A19S18, A19S19 Dec 21, 2025
@keyman-server keyman-server modified the milestones: A19S19, A19S20 Jan 3, 2026
@jahorton jahorton changed the base branch from docs/web/add-search-space-doc to feat/web/cluster-splitting-and-merging January 9, 2026 14:50
@keyman-server keyman-server modified the milestones: A19S20, A19S21 Jan 16, 2026
@jahorton jahorton force-pushed the feat/web/cluster-splitting-and-merging branch from dadefba to ec12918 Compare January 21, 2026 16:39
@jahorton jahorton force-pushed the feat/web/search-space-node-propagation branch from b31bcad to c303355 Compare January 21, 2026 21:52
@jahorton jahorton force-pushed the feat/web/cluster-splitting-and-merging branch 5 times, most recently from c31523a to 8f7363d Compare January 29, 2026 20:17
@jahorton jahorton force-pushed the feat/web/search-space-node-propagation branch 3 times, most recently from beafeb6 to 36df714 Compare January 30, 2026 21:06
@keyman-server keyman-server modified the milestones: A19S21, A19S22 Jan 31, 2026
@jahorton jahorton force-pushed the feat/web/cluster-splitting-and-merging branch from 8f7363d to 98d2043 Compare February 5, 2026 16:57
@jahorton jahorton force-pushed the feat/web/search-space-node-propagation branch from 36df714 to c2e0427 Compare February 5, 2026 19:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Todo

Development

Successfully merging this pull request may close these issues.

2 participants