Skip to content

Remove Typing Protocols #2125

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
fehiepsi merged 2 commits into from
Jan 22, 2026
Merged

Remove Typing Protocols #2125

fehiepsi merged 2 commits into from
Jan 22, 2026
+21 −67

Conversation

@juanitorduz
Copy link
Collaborator

@juanitorduz juanitorduz commented Jan 22, 2026 •
edited
Loading

Related to #2122

@juanitorduz juanitorduz marked this pull request as draft January 22, 2026 08:33
@juanitorduz juanitorduz added enhancement New feature or request maintenance and removed enhancement New feature or request labels Jan 22, 2026
@juanitorduz juanitorduz marked this pull request as ready for review January 22, 2026 11:49
@juanitorduz juanitorduz requested a review from fehiepsi January 22, 2026 11:50
@juanitorduz juanitorduz changed the title Remove Typing Protocoles Remove Typing Protocols Jan 22, 2026
fehiepsi
fehiepsi approved these changes Jan 22, 2026
View reviewed changes
Copy link
Member

@fehiepsi fehiepsi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @juanitorduz!

@fehiepsi fehiepsi merged commit 43bcfde into pyro-ppl:master Jan 22, 2026
8 checks passed
@juanitorduz juanitorduz deleted the rm-protocols branch January 22, 2026 13:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@fehiepsi fehiepsi fehiepsi approved these changes

Assignees

No one assigned

Labels

maintenance

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@juanitorduz @fehiepsi