Skip to content

Fix dispatch code generation + add lint check on generated code#9

Merged
andrewosh merged 4 commits intomainfrom
fix-dispatch-codegen
Aug 14, 2025
Merged

Fix dispatch code generation + add lint check on generated code#9
andrewosh merged 4 commits intomainfrom
fix-dispatch-codegen

Conversation

@HDegroote
Copy link
Contributor

The bug is caught by running a linter on the generated code, so I also included a test which does exactly that

@HDegroote
Copy link
Contributor Author

Note: should also merge in the test of #10 when merging this

@andrewosh andrewosh merged commit cd8b935 into main Aug 14, 2025
3 checks passed
@andrewosh andrewosh deleted the fix-dispatch-codegen branch August 14, 2025 14:24
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