Skip to content

remove target. prefix#156

Merged
pchalamet merged 1 commit intomainfrom
feature/simplify-target-internal-representation
May 11, 2025
Merged

remove target. prefix#156
pchalamet merged 1 commit intomainfrom
feature/simplify-target-internal-representation

Conversation

@pchalamet
Copy link
Contributor

No description provided.

@pchalamet pchalamet merged commit 0ad34e4 into main May 11, 2025
2 checks passed
@pchalamet pchalamet deleted the feature/simplify-target-internal-representation branch November 29, 2025 17:04
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