Skip to content

MismatchingDomainError - #4831

Merged
pbrubeck merged 1 commit into
pbrubeck/revert-domain-integral-typefrom
pbrubeck/mismatching-domains-exception
Jan 21, 2026
Merged

pbrubeck merged 1 commit into
pbrubeck/revert-domain-integral-typefrom
pbrubeck/mismatching-domains-exception

Conversation

@pbrubeck

Copy link
Copy Markdown
Contributor

Description

@pbrubeck
pbrubeck force-pushed the pbrubeck/mismatching-domains-exception branch from 5b4b6fc to 3bc39ce Compare January 21, 2026 11:49
@pbrubeck
pbrubeck requested a review from connorjward January 21, 2026 11:51
@pbrubeck
pbrubeck merged commit 3df4484 into pbrubeck/revert-domain-integral-type Jan 21, 2026
4 of 7 checks passed
@pbrubeck
pbrubeck deleted the pbrubeck/mismatching-domains-exception branch January 21, 2026 17:06
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