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

feat: Improve local subscriptions #3028

Merged
merged 1 commit into from
Oct 14, 2024

Conversation

stuartwdouglas
Copy link
Collaborator

No description provided.

@stuartwdouglas stuartwdouglas requested review from a team and alecthomas as code owners October 8, 2024 01:10
@stuartwdouglas stuartwdouglas requested review from a team, tomdaffurn and safeer and removed request for a team October 8, 2024 01:10
This was referenced Oct 8, 2024
@stuartwdouglas
Copy link
Collaborator Author

@alecthomas I think this should address your type safety concerns from last week. Unfortunately it does not help with same module verb invocation though, I am still not sure how to be make that type safe.

@stuartwdouglas stuartwdouglas force-pushed the stuartwdouglas/local-jvm-subscriptions branch from 1d79ea7 to dce464a Compare October 11, 2024 00:49
@stuartwdouglas stuartwdouglas enabled auto-merge (squash) October 11, 2024 00:50
@stuartwdouglas stuartwdouglas force-pushed the stuartwdouglas/local-jvm-subscriptions branch from dce464a to ae97fe3 Compare October 14, 2024 01:27
@stuartwdouglas stuartwdouglas force-pushed the stuartwdouglas/local-jvm-subscriptions branch from ae97fe3 to 80348ea Compare October 14, 2024 02:02
@stuartwdouglas stuartwdouglas merged commit 1a5602f into main Oct 14, 2024
95 checks passed
@stuartwdouglas stuartwdouglas deleted the stuartwdouglas/local-jvm-subscriptions branch October 14, 2024 02:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants