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.

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

chore(web): move web/src/engine/paths/web/src/engine/interfaces/ 🏗️ #12064

Merged
merged 1 commit into from
Aug 6, 2024

Conversation

ermshiperete
Copy link
Contributor

Moving PredictionContext will be part of the next PR.

Fixes: #12035

@keymanapp-test-bot skip

@keymanapp-test-bot keymanapp-test-bot bot added this to the A18S7 milestone Jul 30, 2024
@github-actions github-actions bot added the web/ label Jul 30, 2024
@ermshiperete ermshiperete changed the title chore(web): move web/src/engine/paths/web/src/engine/interfaces/ chore(web): move web/src/engine/paths/web/src/engine/interfaces/ 🏗️ Jul 30, 2024
@github-actions github-actions bot added the chore label Jul 30, 2024
@ermshiperete ermshiperete force-pushed the chore/web/12035_interfaces branch from 43e96ed to b5d6947 Compare July 31, 2024 18:03
@ermshiperete ermshiperete changed the base branch from chore/web/11374_restructure to master July 31, 2024 18:04
@ermshiperete ermshiperete marked this pull request as ready for review July 31, 2024 18:04
@ermshiperete ermshiperete requested a review from jahorton as a code owner July 31, 2024 18:04
@ermshiperete ermshiperete force-pushed the chore/web/12035_interfaces branch from b5d6947 to ab5df20 Compare July 31, 2024 18:06
@ermshiperete ermshiperete requested a review from mcdurdin August 2, 2024 06:34
@darcywong00 darcywong00 modified the milestones: A18S7, A18S8 Aug 2, 2024
@ermshiperete ermshiperete merged commit 1530620 into master Aug 6, 2024
15 checks passed
@ermshiperete ermshiperete deleted the chore/web/12035_interfaces branch August 6, 2024 07:05
@keyman-server
Copy link
Collaborator

Changes in this pull request will be available for download in Keyman version 18.0.83-alpha

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

chore(web): web/src/engine/paths/web/src/engine/interfaces/
4 participants