Skip to content

Hotfix for Math domain#272

Merged
jhnaldo merged 1 commit into
devfrom
hotfix-math-domain
Feb 6, 2025
Merged

Hotfix for Math domain#272
jhnaldo merged 1 commit into
devfrom
hotfix-math-domain

Conversation

@d01c2
Copy link
Copy Markdown
Member

@d01c2 d01c2 commented Feb 6, 2025

This PR is created to make sure that commit a7f8846 from dev-dyn-ty-check-new gets applied to the dev branch.

Copy link
Copy Markdown
Contributor

@jhnaldo jhnaldo left a comment

Choose a reason for hiding this comment

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

LGTM! 👍🏻

@jhnaldo jhnaldo merged commit d561909 into dev Feb 6, 2025
@jhnaldo jhnaldo deleted the hotfix-math-domain branch February 6, 2025 03:38
@jhnaldo jhnaldo added bug Something isn't working area:analyzer Related to analyzer area:type Related to types labels Jan 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:analyzer Related to analyzer area:type Related to types bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants