Skip to content

Conversation

@jviotti
Copy link
Member

@jviotti jviotti commented Oct 24, 2025

Signed-off-by: Juan Cruz Viotti jv@jviotti.com

@jviotti
Copy link
Member Author

jviotti commented Oct 24, 2025

cc @Karan-Palan Looks like our friend Claude Code found quite a bunch :)

@jviotti jviotti force-pushed the re-reference-errors branch from 140d54b to d445c54 Compare October 24, 2025 14:19
@jviotti
Copy link
Member Author

jviotti commented Oct 24, 2025

Well I think various of them are wrong... I'll revise them all first

@jviotti jviotti force-pushed the re-reference-errors branch 2 times, most recently from de97f73 to 74fb5f7 Compare October 24, 2025 14:31
Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>
@jviotti jviotti force-pushed the re-reference-errors branch from 74fb5f7 to 1ce86ff Compare October 24, 2025 14:44
@jviotti
Copy link
Member Author

jviotti commented Oct 24, 2025

I think they are all correct now. Would be fun to try to make them pass

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.

1 participant