Skip to content

Fix aliases#4

Merged
rathboma merged 3 commits into
mainfrom
fix/aliases
May 1, 2025
Merged

Fix aliases#4
rathboma merged 3 commits into
mainfrom
fix/aliases

Conversation

@not-night-but
Copy link
Copy Markdown
Contributor

@not-night-but not-night-but commented Apr 25, 2025

Fix #5

@rathboma
Copy link
Copy Markdown
Contributor

@not-night-but tests!

@not-night-but
Copy link
Copy Markdown
Contributor Author

Ugh yeah it's a type checking issue. I'll fix it

@rathboma rathboma merged commit 98977cc into main May 1, 2025
6 checks passed
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.

Aliasing is broken

2 participants