Skip to content

[Feature]source names#16

Merged
davidrotari19 merged 13 commits into
mainfrom
feat/source_names
Jul 10, 2026
Merged

[Feature]source names#16
davidrotari19 merged 13 commits into
mainfrom
feat/source_names

Conversation

@davidrotari19

@davidrotari19 davidrotari19 commented Jul 10, 2026

Copy link
Copy Markdown
Collaborator

Notable changes

  • source-name in package codegen

Checklist

  • keep a changelog
  • write tests
  • create tickets for TODO: <> statements
  • create or update documentation

@davidrotari19 davidrotari19 self-assigned this Jul 10, 2026
@davidrotari19 davidrotari19 added the enhancement New feature or request label Jul 10, 2026
@davidrotari19 davidrotari19 changed the title Feat/source names [Feature]source names Jul 10, 2026
@davidrotari19
davidrotari19 merged commit 136dddb into main Jul 10, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants